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

UptoLike

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

110
ма
))((
mm
Yta
переходе
))(,( taaX
sm
времени (t+1)
)1(
ta
s
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
19
)(
5
4
18
753
yyya
SSS
e
324
xxx
21
6
2
3
/ aSSS
k
4
x
8
321
/ aSSS
kkk
24
xx
10
7
21
/ aSSS
kk
20
)(
5
2
19
7
2
1
yyya
SSS
ke
k
24
xx
12
6
21
/ aSSS
kk
4
x
8
321
/ aSSS
kkk
24
xx
10
7
21
/ aSSS
kk
21
)(
5
4
1
20
75
1
yyya
SSS
24
xx
12
6
21
/ aSSS
kk
31
xx
21
6
2
3
/ aSSS
k
31
xx
23
6
2
1
/ aSSS
k
31
xx
13
32
3
/ aSSS
kk
22
)(
6
2
21
6
2
3
yyya
SSS
ke
k
31
xx
15
32
1
/ aSSS
kk
31
xx
21
6
2
3
/ aSSS
k
31
xx
23
6
2
1
/ aSSS
k
31
xx
13
32
3
/ aSSS
kk
23
)(
6
4
22
653
yyya
SSS
e
31
xx
15
32
1
/ aSSS
kk
1
x
12
6
21
/ aSSS
kk
24
)(
6
2
1
23
6
2
1
yyya
SSS
k
k
1
x
8
321
/ aSSS
kkk
ма     a m (t )(Ym )        переходе            времени (t+1)
                           X (a m , a s )(t )      a s (t  1)
19      S3 S5 S7               x 4 x3            S1 S k2 S k3 / a15
     a18 ( ye y 4 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
20      S1 S k2 S 7               x4             S k1 S k2 S k3 / a8
     a19 ( ye y k2 y5 )         x4 x2            S k1 S k2 S 7 / a10
                                x4 x2            S k1 S k2 S 6 / a12
21      S1 S5 S 7                 x4             S k1 S k2 S k3 / a8
     a20 ( y1 y 4 y5 )          x4 x2            S k1 S k2 S 7 / a10
                                x4 x2            S k1 S k2 S 6 / a12
22      S 3 S k2 S 6             x1 x3           S 3 S k2 S 6 / a21
     a21 ( ye y k2 y 6 )         x1 x3           S1 S k2 S 6 / a23
                                 x1 x3           S 3 S k2 S k3 / a13
                                 x1 x3           S1 S k2 S k3 / a15
23      S3 S5 S 6                x1 x3           S 3 S k2 S 6 / a21
     a22 ( ye y 4 y 6 )          x1 x3           S1 S k2 S 6 / a23
                                 x1 x3           S 3 S k2 S k3 / a13
                                 x1 x3           S1 S k2 S k3 / a15
24      S1 S k2 S 6               x1             S k1 S k2 S 6 / a12
     a23 ( y1 y k2 y 6 )          x1             S k1 S k2 S k3 / a8




                                                                       110