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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

109
Продолжение таблицы 4.8
Шаг
алго-
рит-
ма
Сочетание частных
исходных событий
полное событие
))((
mm
Yta
Сочетание
частных входных
сигналов на
переходе
))(,( taaX
sm
Сочетание
частных событий
в момент
времени (t+1)
)1(
ta
s
4
x
8
321
/ aSSS
kkk
24
xx
10
7
21
/ aSSS
kk
10
)(
5
4
1
9
75
1
yyya
SSS
k
k
24
xx
12
6
21
/ aSSS
kk
4
x
8
321
/ aSSS
kkk
24
xx
10
7
21
/ aSSS
kk
11
)(
5
21
10
7
21
yyya
SSS
k
k
kk
24
xx
12
6
21
/ aSSS
kk
1
x
12
6
21
/ aSSS
kk
12
)(
6
4
1
11
65
1
yyya
SSS
k
k
1
x
8
321
/ aSSS
kkk
1
x
12
6
21
/ aSSS
kk
13
)(
6
21
12
6
21
yyya
SSS
k
k
kk
1
x
8
321
/ aSSS
kkk
3
x
15
32
1
/ aSSS
kk
14
)(
6
2
13
32
3
yyya
SSS
k
e
kk
3
x
13
32
3
/ aSSS
kk
3
x
15
32
1
/ aSSS
kk
15
)(
3
4
14
3
53
k
e
k
yyya
SSS
3
x
13
32
3
/ aSSS
kk
16
)(
32
1
15
32
1
kk
kk
yyya
SSS
1
8
321
/ aSSS
kkk
17
)(
3
4
1
16
3
5
1
k
k
yyya
SSS
1
8
321
/ aSSS
kkk
34
xx
15
32
1
/ aSSS
kk
34
xx
13
32
3
/ aSSS
kk
324
xxx
19
7
2
1
/ aSSS
k
324
xxx
17
7
2
3
/ aSSS
k
324
xxx
23
6
2
1
/ aSSS
k
18
)(
5
2
17
7
2
3
yyya
SSS
ke
k
324
xxx
21
6
2
3
/ aSSS
k
Продолжение таблицы 4.8
Шаг
алго-
рит-
Сочетание частных
исходных событий
полное событие
Сочетание
частных входных
сигналов на
Сочетание
частных событий
в момент 
                                                     Продолжение таблицы 4.8
Шаг     Сочетание частных             Сочетание          Сочетание
алго-   исходных событий          частных входных частных событий
рит-     полное событие              сигналов на          в момент
 ма         a m (t )(Ym )             переходе          времени (t+1)
                                     X (a m , a s )(t )      a s (t  1)
 10            S k1 S 5 S 7                x4            S k1 S k2 S k3 / a8
            a9 ( y1k y 4 y5 )            x4 x2           S k1 S k2 S / a10
                                                                       7
                                         x4 x2                  1 2
                                                              S k S k S6   / a12
 11           S k1 S k2 S 7                x4                 S k1 S k2 S k3 / a8
           a10 ( y1k y k2 y5 )           x4 x2                S k1 S k2 S 7 / a10
                                         x4 x2                S k1 S k2 S 6 / a12
 12            S k1 S5 S 6                 x1                 S k1 S k2 S 6 / a12
           a11 ( y1k y4 y 6 )              x1                 S k1 S k2 S k3 / a8
 13           S k1 S k2 S 6                x1                 S k1 S k2 S 6 / a12
           a12 ( y1k y k2 y 6 )            x1                 S k1 S k2 S k3 / a8
 14           S 3 S k2 S k3                x3                S1 S k2 S k3 / a15
           a13 ( ye yk2 y6 )               x3                S 3 S k2 S k3 / a13
 15           S 3 S 5 S k3                 x3                S1 S k2 S k3 / a15
           a14 ( ye y 4 y k3 )             x3                S 3 S k2 S k3 / a13
 16           S1 S k2 S k3                                    S k1 S k2 S k3 / a8
                                           1
           a15 ( y1 y k2 y k3 )
 17           S1 S5 S k3                                      S k1 S k2 S k3 / a8
                                           1
           a16 ( y1 y 4 y k3 )
 18           S3 S k2 S 7                x 4 x3              S1 S k2 S k3 / a15
           a17 ( y e y k2 y5 )           x 4 x3              S 3 S k2 S k3 / a13
                                        x 4 x 2 x3            S1 S k2 S 7 / a19
                                        x 4 x 2 x3            S 3 S k2 S 7 / a17
                                        x 4 x 2 x3            S1 S k2 S 6 / a23
                                        x 4 x 2 x3          S 3 S k2 S 6 / a21
                                                     Продолжение таблицы 4.8
Шаг     Сочетание частных             Сочетание      Сочетание
алго-   исходных событий          частных входных частных событий
рит-     полное событие              сигналов на      в момент
                                                                                    109

Страницы