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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

37
Продолжение таблицы 2.2
Шаг
алго-
ритма
Сочетание
(конъюнкция)
частных исходных
событий в момент
времени (t)
Подмножества частных входных
сигналов на переходе
]
[
,
X
ji
Сочетание
(конъюнкция)
частных событий
в момент времени
(t+1)
Полное событие
Y
t
a
mm
Сочетание (конъюнкция) частных
входных сигналов на переходе
(полный входной сигнал)
t
aa
X
sm
,
Полное событие
на переходе
1
t
a
s
9
yyy
SS
432
32
a
8
,
]
,
,
[
2111
xxxx
]
)(
,,[
32
*
323
xx
xxx
xx
31
xxx
xxx
xxx
xxx
xxx
xxx
321
321
321
321
321
321
10
543
9
4
7
43
9
4
11
53
5
3
7
43
/)(
/)
(
/
/
/
/
/
a
SSS
a
S
a
SS
a
S
a
SS
a
S
a
SS
10
yy
S
42
4
a
9
4
4
x
x
aS
aS
53
94
/
/
11
yyyy
SSS
4321
543
a
10
],[,])(,,[
4
4
3
2
*
32
3
x
x
x
x
xx
x
43
xx
xx
x
x
x
x
xxx
x
xx
x
x
43
2
4
3
2
432
4
32
4
3
a
S
S
a
S
aSS
aS
aS
aSS
7
4
3
9
4
743
94
53
743
/)
(
/)
(
/
/
/
/
                                                                         Продолжение таблицы 2.2
Шаг           Сочетание                  Подмножества частных входных                 Сочетание
алго-       (конъюнкция)                     сигналов на переходе                   (конъюнкция)
ритма     частных исходных                              [ X i, j]                 частных событий
          событий в момент                                                        в момент времени
              времени (t)                                                               (t+1)

           Полное событие                Сочетание (конъюнкция) частных           Полное событие
              a m t Y m               входных сигналов на переходе             на переходе
                                            (полный входной сигнал)                    a s t  1
                                                    X a m , a s t 
  9       S 2 S 3 y 2 y3 y 4                     [ x1 , x1 , x1 x 2],
                   a8                          [ x 3 , x2 x3 , ( x 2 x3)*]
                                                        x1 x 3
                                                      x1  x2  x 3
                                                                                   S 3 S 4 / a7
                                                      x1 x 2 x 3
                                                                                   S 3 / a5
                                                      x1 x 2 x3                    S 3 S 5 / a11
                                                      x1 x 2 x3                    S 4 / a9
                                                      x1 x 2 x3                   S 3 S 4 / a7
                                                      x1 x 2 x3                   ( S 4 ) / a9
                                                                                   S 3 ( S 4) S 5 / a10
  10           S 4 y2 y4                                 x4                            S 4 / a9
                    a9                                     x4                            S 3 / a5
  11    S 3 S 4 S 5  y1 y 2 y 3 y 4     [ x3 , x 2 x3 , ( x2 x3)*],[ x4 , x4]
                   a10                                  x3 x 4
                                                       x3 x 4                        S 3 S 4 / a7
                                                       x 2 x3 x 4                    S 3 / a5
                                                       x 2 x3 x 4                    S 4 / a9
                                                       x 2 x3 x 4                    S 3 S 4 / a7
                                                                                     ( S 4) / a9
                                                       x 2 x3 x 4
                                                                                     S 3 ( S 4) / a7




                                                                                                          37

Страницы