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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

94
автомата Мура, переходы из которых полностью совпадают. Для
рассмотренного выше примера это соответствует группам событий
(состояний):
2
S
,
3
S
;
1
S
,
4
S
и
5
S
,
7
S
. Делая необходимые подстановки и
замены переменных вида:
00
aS
;
141
aSS
;
232
aSS
;
375
aSS
;
46
aS
, получим прямую таблицу переходов автомата Мили, эквивалентного
автомату Мура (табл.4.6), дополненную столбцом 5, отмечающим переходы
выходными сигналами.
Таблица 4.6.
Прямой таблице переходов (табл. 4.6) будут соответствовать
следующие СКУ (4.58) и СВФ (4.59) автомата Мили:
Исходное
состояние
)(ta
i
Частный входной
сигнал
)(
,
tX
ji
Состояние
перехода
)1(
ta
j
Комбинация выход-
ных сигналов
)(
,
tY
ji
1
2 3 4 5
1
0
a
1
1
a
1
y
2
1
a
1
2
a
2
y
3
2
a
21
xx
2
a
e
y
21
xx
1
a
3
y
31
xx
3
a
3
y
31
xx
3
a
21
yy
4
3
a
1
4
a
k
y
автомата Мура, переходы из которых полностью совпадают. Для
рассмотренного выше примера это соответствует группам событий
(состояний): S 2 , S 3 ; S1 , S 4 и S5 , S 7 . Делая необходимые подстановки и
замены переменных вида: S 0  a0 ; S1  S 4  a1 ; S 2  S 3  a 2 ; S 5  S 7  a3 ;
S 6  a4 , получим прямую таблицу переходов автомата Мили, эквивалентного
автомату Мура (табл.4.6), дополненную столбцом 5, отмечающим переходы
выходными сигналами.
                                                                     Таблица 4.6.

     Прямой таблице переходов (табл. 4.6) будут                    соответствовать
следующие СКУ (4.58) и СВФ (4.59) автомата Мили:



     Исходное       Частный входной        Состояние      Комбинация выход-
     состояние           сигнал            перехода         ных сигналов
        ai (t )          X i, j (t )        a j (t  1)        Yi , j (t )
1         2                 3                   4                    5
1         a0                1                  a1                   y1
2         a1                1                  a2                   y2
3         a2               x1 x2               a2                   ye
                           x1 x2               a1                   y3

                           x1 x3               a3                   y3

                           x1 x3               a3                  y1 y 2

4         a3                1                  a4                   yk




                                                                                   94

Страницы