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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

130
S
0
(y
0
)
x
n
y
е
y
k
x
0
1
0
S
B
1
0
0
8
9
Для первого п/А
.)1(
,)()1(
,)()1(
,)()1(
),()1(
в
в
'
21
'
33310
'
03
10
'
02
33310
'
01
0
'
0
'
0
1
0
SSSStS
xSxxSxStS
xSxStS
xSxxSxStS
SxSSSxtS
kk
n
n
n
nk
(5.6)
S
0
'
x
n
S
0
y
1
x
0
1
0
x
3
1
3
x
1
1
0
y
2
S
k
'
(y
k
'
)
S
y
e
2
1
0
0
1
Для второго п/А 
                                      x0
                                                  0
                                                      S0(y0)

                                            0           xn

                                 9                           1
                                      yе
                                            0           SB

                                                  8          1
                                                        yk


Для первого п/А


                  S 01 (t  1)  x0  S k' S в  S 0' ( xn S 0 ),
                  S1 (t  1)  S 0' ( xn S 0 ) x1 x3  S 3 x3 ,
                  S 2 (t  1)  S 0' ( xn S 0 ) x1 ,                           (5.6)
                  S 3 (t  1)  S 0' ( xn S 0 ) x1 x3  S 3 x3 ,
                  S k' (t  1)  S1  S 2  S k' S в .

                                             x0

                           S0'

                  0        xnS0
                                 1
                            x1         0
                                                                      3
                      2          1                                        ye
                            y2                             x3     0

                                                  1          1
                                                           y1



                                       Sk'(yk')

                                 1         SB          0


Для второго п/А




                                                                                       130

Страницы