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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

36
Продолжение таблицы 2.2
Шаг
алго-
ритма
Сочетание
(конъюнкция) частных
исходных событий в
момент времени (t)
Подмножества частных входных
сигналов на переходе
]
[
,
X
ji
Сочетание
(конъюнкция)
частных событий
в момент времени
(t+1)
Полное событие
Y
t
a
mm
Сочетание (конъюнкция) частных
входных сигналов на переходе
(полный входной сигнал)
t
aa
X
sm
,
Полное событие
на переходе
1
t
a
s
7
yyy
SS
431
31
a
6
,
]
,
,
[
2122
xxxx
]
)(
,,[
3
2
*
323
xx
xxx
xx
32
xx
xxx
xxx
xxx
xxx
32
321
321
321
321
2
4
1
3
432
7
43
8
32
5
3
6
31
/)
(
/
/
/
/
/
a
S
S
a
SSS
a
SS
a
SS
a
S
a
SS
8
yyy
SS
432
43
a
7
],[,]
)(
,,[
44
32
*
323
xx
xx
xxx
xx
43
xxx
xxx
xxx
xxx
xx
432
432
432
432
43
7
43
9
4
7
43
9
4
5
3
7
43
/
/
/
/
/
/
a
SS
a
S
a
SS
a
S
a
S
a
SS
                                                                           Продолжение таблицы 2.2
Шаг          Сочетание             Подмножества частных входных                        Сочетание
алго-   (конъюнкция) частных           сигналов на переходе                          (конъюнкция)
ритма    исходных событий в                        [ X i, j]                       частных событий
          момент времени (t)                                                       в момент времени
                                                                                         (t+1)

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




                                                                                                        36

Страницы