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

UptoLike

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

107
Продолжение таблицы 4.8
Шаг
алго-
рит-
ма
Сочетание частных
исходных событий
полное событие
))((
mm
Yta
Сочетание
частных входных
сигналов на
переходе
))(,( taaX
sm
Сочетание
частных событий
в момент
времени (t+1)
)1(
ta
s
54
xx
7
3
5
1
/ aSSS
k
k
54
xx
8
321
/ aSSS
kkk
524
xxx
9
7
5
1
/ aSSS
k
524
xxx
10
7
21
/ aSSS
k
k
524
xxx
11
6
5
1
/ aSSS
k
2
)(
5321
742
yyya
SSS
524
xxx
12
6
21
/ aSSS
k
k
51
xx
12
6
21
/ aSSS
k
k
51
xx
11
6
5
1
/ aSSS
k
51
xx
8
321
/ aSSS
kkk
3
)(
6322
642
yyya
SSS
51
xx
7
3
5
1
/ aSSS
k
k
54
xx
7
3
5
1
/ aSSS
k
k
54
xx
8
321
/ aSSS
kkk
524
xxx
9
7
5
1
/ aSSS
k
524
xxx
10
7
21
/ aSSS
k
k
524
xxx
11
6
5
1
/ aSSS
k
4
)(
5313
741
yyya
SSS
524
xxx
12
6
21
/ aSSS
k
k
51
xx
12
6
21
/ aSSS
k
k
51
xx
11
6
5
1
/ aSSS
k
51
xx
8
321
/ aSSS
kkk
5
)(
6314
641
yyya
SSS
51
xx
7
3
5
1
/ aSSS
k
k
                                                   Продолжение таблицы 4.8
Шаг     Сочетание частных           Сочетание          Сочетание
алго-   исходных событий        частных входных частных событий
рит-     полное событие            сигналов на          в момент
 ма         a m (t )(Ym )           переходе          времени (t+1)
                                   X (a m , a s )(t )     a s (t  1)
 2           S2 S4 S7                  x 4 x5          S 1k S 5 S k3 / a 7
           a1 ( y 2 y 3 y 5 )          x 4 x5          S k1 S k2 S k3 / a8
                                      x 4 x 2 x5           S 1k S 5 S 7 / a9
                                      x 4 x 2 x5           S 1k S k2 S 7 / a10
                                      x 4 x 2 x5           S 1k S 5 S 6 / a11
                                      x 4 x 2 x5           S 1k S k2 S 6 / a12
 3           S 2 S 4 S6                x1 x5               S 1k S k2 S 6 / a12
           a2 ( y 2 y3 y6 )            x1 x5               S 1k S 5 S 6 / a11
                                       x1 x5               S k1 S k2 S k3 / a8
                                       x1 x5               S 1k S 5 S k3 / a 7
 4           S1 S 4 S 7                x 4 x5              S 1k S 5 S k3 / a 7
           a3 ( y1 y3 y 5 )            x 4 x5              S k1 S k2 S k3 / a8
                                      x 4 x 2 x5           S 1k S 5 S 7 / a9
                                      x 4 x 2 x5           S 1k S k2 S 7 / a10
                                      x 4 x 2 x5           S 1k S 5 S 6 / a11
                                      x 4 x 2 x5           S 1k S k2 S 6 / a12
 5           S1 S 4 S 6                x1 x5               S 1k S k2 S 6 / a12
           a4 ( y1 y 3 y 6 )           x1 x5               S 1k S 5 S 6 / a11
                                       x1 x5               S k1 S k2 S k3 / a8
                                       x1 x5               S 1k S 5 S k3 / a 7




                                                                                 107