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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

93
Таблица 4.5.
Исходное событие
(состояние)
)(tS
i
Частный входной
сигнал
)(
,
tX
ji
Событие (состояние
перехода), отмеченное
совокупностью
выходных синалов
))(1(
Y
tS
j
j
1 2 3 4
1
0
S
1
)(
11
yS
2
1
S
1
)(
22
yS
21
xx
)(
3 e
yS
21
xx
)(
34
yS
31
xx
)(
37
yS
3
2
S
31
xx
)(
215
yyS
21
xx
)(
3 e
yS
21
xx
)(
34
yS
31
xx
)(
37
yS
4
3
S
31
xx
)(
215
yyS
5
4
S
1
)(
22
yS
6
5
S
1
)(
6 k
yS
7
7
S
1
)(
6 k
yS
По табл. 4.5. в соответствии с пунктом 5 алгоритма получим
следующую СКУ для автомата Мура:
0
1
)1(
1
StS
y
,
412
)1(
2
SStS
y
,
)()1(
32213
SSxxtS
e
y
,
)()1(
32214
3
SSxxtS
y
,
)()1(
3231
5
21
SSxxtS
yy
,
75
6
)1( SStS
k
y
,
)()1(
32317
3
SSxxtS
y
.
В том случае, если требуется построить автомат на основе модели
автомата Мили с использованием прямой таблицы переходов, необходимо в
таблице переходов автомата Мура объединить те события (состояния) 
                                                                             Таблица 4.5.
     Исходное событие   Частный входной                Событие (состояние
        (состояние)          сигнал                   перехода), отмеченное
            S i (t )         X i, j (t )                 совокупностью
                                                        выходных синалов
                                                           S j (t  1)(Y j )
 1          2                      3                                    4
 1          S0                     1                                S1 ( y1 )
 2          S1                     1                                S 2 ( y2 )
 3          S2                   x1 x2                              S3 ( ye )
                                  x1 x2                             S 4 ( y3 )
                                  x1 x3                             S 7 ( y3 )
                                  x1 x3                         S 5 ( y1 y 2 )
 4          S3                   x1 x2                              S3 ( ye )
                                  x1 x2                             S 4 ( y3 )
                                  x1 x3                             S 7 ( y3 )
                                  x1 x3                         S 5 ( y1 y 2 )
 5          S4                     1                                S 2 ( y2 )
 6          S5                     1                                S 6 ( yk )
 7          S7                     1                                S 6 ( yk )
     По табл. 4.5. в соответствии с пунктом 5 алгоритма получим
следующую СКУ для автомата Мура:
                        S1y1 (t  1)  S 0 ,
                        S 2y2 (t  1)  S1  S 4 ,
                        S 3ye (t  1)  x1 x2 ( S 2  S 3 ) ,
                        S 4y3 (t  1)  x1 x2 ( S 2  S3 ) ,
                        S 5y1 y 2 (t  1)  x1 x3 ( S 2  S 3 ) ,
                          y
                        S 6 k (t  1)  S 5  S 7 ,
                        S 7y3 (t  1)  x1 x3 ( S 2  S3 ) .
     В том случае, если требуется построить автомат на основе модели
автомата Мили с использованием прямой таблицы переходов, необходимо в
таблице переходов автомата Мура объединить те события (состояния)

                                                                                       93

Страницы