Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 33 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

33
Таблица 2.2
Шаг
алго-
ритма
Сочетание
(конъюнкция) частных
исходных событий в
момент времени (t)
Подмножества частных входных
сигналов на переходе
]
[
,
X
ji
Сочетание
(конъюнкция)
частных событий
в момент времени
(t+1)
Полное событие
Y
t
a
mm
Сочетание (конъюнкция) частных
входных сигналов на переходе
(полный входной сигнал)
t
aa
X
sm
,
Полное событие
на переходе
1
t
a
s
1
)(
0
0
y
S
а
0
x
x
1
1
aSS
aS
121
00
/
/
2
yy
SS
21
21
a
1
,,,
2
1
2
2
x
x
x
x
2
11
1
,, x
xx
x
21
xx
xx
x
x
x
x
21
2
1
2
1
aS
aSSS
aSSS
aSS
53
4531
3432
241
/
/
/
/
3
yyy
SS
421
41
a
2
,,,
2
1
2
2
x
x
x
x
x
x
4
4
,
42
xx
xxx
x
xx
xxx
x
xx
x
x
421
4
21
421
4
21
4
2
aSS
aSSS
aS
aSS
aSS
aSS
832
3432
53
743
631
241
/
/
/
/
/
/
                                                                           Таблица 2.2
Шаг          Сочетание             Подмножества частных входных         Сочетание
алго-   (конъюнкция) частных           сигналов на переходе           (конъюнкция)
ритма    исходных событий в                     [ X i, j]           частных событий
          момент времени (t)                                        в момент времени
                                                                          (t+1)

          Полное событие           Сочетание (конъюнкция) частных   Полное событие
             a m t Y m          входных сигналов на переходе     на переходе
                                      (полный входной сигнал)           a s t  1
                                           X a m , a s t 
  1               S 0 ( y 0)                     x1                    S 0 / a0
                     а0                            x1                  S 1 S 2 / a1
  2         S 1 S 2  y1 y 2              x2 , x2 , x1 x2,
                   a1                       x1 , x1 , x1 x2 
                                                 x1 x2
                                                  x1 x2              S1 S 4 / a2
                                                 x1 x2               S 2 S 3 S 4 / a3
                                                 x1 x2               S1 S 3 S 5 / a4
                                                                     S 3 / a5
  3       S 1 S 4  y1 y 2 y 4            x2 , x2 , x1 x2,
                   a2                          x4 , x4
                                                x2 x4
                                              x2 x4
                                                                      S1 S 4 / a2
                                              x1 x2 x4              S 1 S 3 / a6
                                              x1 x2 x4              S 3 S 4 / a7
                                              x1 x 2 x 4              S 3 / a5
                                              x1 x 2 x 4              S 2 S 3 S 4 / a3
                                                                      S 2 S 3 / a8




                                                                                         33

Страницы