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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

106
,)1(
33310
1
1
xSxxxSt
y
S
n
,)1(
10
2
2
xxSt
y
S
n
,)1(
33310
3
xSxxxSt
y
S
n
e
,)()1(
в
1
30
1
1
SSSSt
y
S
kk
k
,)1(
0
4
3
n
xSt
y
S
,)1(
54
5
4
xSt
y
S
(4.69)
,)1(
в
2
545
2
2
SSxSSt
y
S
kk
k
,)1(
1624720
6
6
xSxxSxxSt
y
S
n
,)1(
24720
7
5
xxSxxSt
y
S
n
,)1(
в
3
1647
3
3
SSxSxSt
y
S
kk
k
,)1(
321
8
в
kkk
SSSSt
y
S
k
.)1(
0800
0
n
xSSxt
y
S
Ha основании табл.4.7 и алгоритма детерминизации (глава 2) ПТП
детерминированного автомата будет представлена табл.4.8.
Таблица 4.8.
Шаг
алго-
рит-
ма
Сочетание частных
исходных событий
полное событие
))((
mm
Yta
Сочетание
частных входных
сигналов на
переходе
))(,( taaX
sm
Сочетание
частных событий
в момент
времени (t+1)
)1(
ta
s
n
x
00
/ aS
21
xxx
n
1742
/ aSSS
21
xxx
n
2642
/ aSSS
321
xxxx
n
3741
/ aSSS
321
xxxx
n
4641
/ aSSS
321
xxxx
n
5743
/ aSSS
1
)(
00
0
ya
S
321
xxxx
n
6643
/ aSSS
                    y
                  S1 1 (t  1)  S 0 xn x1 x3  S 3 x3 ,
                     y
                  S 2 2 (t  1)  S 0 xn x1 ,
                     y
                  S 3 e (t  1)  S 0 xn x1 x3  S 3 x3 ,
                    1 yk
                       1
                  S k (t  1)  ( S 0  S3 )  S k1 S в ,
                     y
                  S 4 3 (t  1)  S 0 xn ,
                     y
                  S 5 4 (t  1)  S 4 x5 ,                                       (4.69)
                      yk2
                  S k2 (t  1)  S5  S 4 x5  S k2 S в ,
                     y
                  S 6 6 (t  1)  S 0 xn x2  S 7 x4 x2  S 6 x1 ,
                     y
                  S 7 5 (t  1)  S 0 xn x2  S 7 x4 x2 ,
                      yk3
                  S k3 (t  1)  S 7 x4  S 6 x1  S k3 Sв ,
                     y
                  S 8 k (t  1)  S в  S k1 S k2 S k3 ,
                     y
                  S 0 0 (t  1)  x0  S 8  S 0 xn .

      Ha основании табл.4.7 и алгоритма детерминизации (глава 2) ПТП
детерминированного автомата будет представлена табл.4.8.
                                                                Таблица 4.8.
 Шаг        Сочетание частных          Сочетание          Сочетание
алго-       исходных событий       частных входных частных событий
 рит-        полное событие           сигналов на          в момент
  ма            a m (t )(Ym )          переходе          времени (t+1)
                                      X (a m , a s )(t )    a s (t  1)
  1                  S0                     xn               S 0 / a0
                  a0 ( y 0 )             x n x1 x2        S 2 S 4 S 7 / a1
                                                    x n x1 x2        S 2 S 4 S 6 / a2
                                                  x n x1 x 2 x3      S1 S 4 S 7 / a3
                                                  x n x1 x 2 x3      S1 S 4 S 6 / a 4
                                                  x n x1 x 2 x3      S 3 S 4 S 7 / a5
                                                  x n x1 x 2 x3      S 3 S 4 S 6 / a6




                                                                                          106

Страницы