Специальная математика. Соловьев А.Е. - 45 стр.

UptoLike

ВУЗ: 

ПНИПУ | Пермь

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

Рубрика: 

y
2
y
3
y
1
x
1
x
3
x
1
x
2
x
2
x
3
y
1
y
2
A B
x
1
B B
x
2
А А
3.5. Переход от автомата Мура к автомату Мили и наоборот
Автоматы Мура и Мили отличаются функцией выходов.
y(t) = (q(t)) – для автомата Мура
и
y(t) = (q(t-1), x(t)) – для автомата Мили
Переход от автомата Мура к автомату Мили заключается в построении таблицы переходов.
Построение состоит в подстановке выходных сигналов, отмечающих состояния в
расширенной таблице переходов, вместо состояний, в которые автомат переходит. Тем
самым, если говорить в терминах графов, выходные сигналы от состояний сдвигаются на
стрелки, которые в эти состояния заходят.
А таблица переходов автомата Мили получается из расширенной таблицы переходов
автомата Мура отбрасыванием первой строки.
y
1
y
3
y
2
A B C
x
1
A B A
x
2
B B C
x
3
C A C
Т.П. A B C
x
1
A B A
x
2
B B C
x
3
C A C
Т.В. A B C
x
1
y
1
y
3
y
1
x
2
y
3
y
3
y
2
x
3
y
2
y
1
y
2
— 45 —
C
B
A
x
3
x
2
х
1
C
А
B
x
1
/y
1
x
2
,x
3
/y
2
x
1
,x
2
/y
3
x
1
/y
1
x
3
/y
2
x
3
/y
1
x
2
/y
3
           y1     y2
           A      B
x1         B      B
x2         А      А


                3.5. Переход от автомата Мура к автомату Мили и наоборот

Автоматы Мура и Мили отличаются функцией выходов.
y(t) = (q(t)) – для автомата Мура
и
y(t) = (q(t-1), x(t)) – для автомата Мили

Переход от автомата Мура к автомату Мили заключается в построении таблицы переходов.
Построение состоит в подстановке выходных сигналов, отмечающих состояния в
расширенной таблице переходов, вместо состояний, в которые автомат переходит. Тем
самым, если говорить в терминах графов, выходные сигналы от состояний сдвигаются на
стрелки, которые в эти состояния заходят.
А таблица переходов автомата Мили получается из расширенной таблицы переходов
автомата Мура отбрасыванием первой строки.

           y1     y3   y2                х1
     xA2   A      B    C
x1         A      B    A
x2x        B      B    C
   xB311
x3x3       C      A    C

                                                y2 C                       y3 x2

                                                x3        x
                                                         y1 2




                                                 x1/y1
Т.П.       A      B    C
x1         A      B    A                                 А         x2/y3
x2         B      B    C
x3         C      A    C                                         x3/y1
                                              x3/y2
                                                                           B
Т.В.       A      B    C                                        x1/y1
x1         y1     y3   y1                                                          x1,x2/y3
x2         y3     y3   y2                                C
x3         y2     y1   y2
                                              x2,x3/y2

                                        — 45 —

Страницы