Граф автомата - ориентированный связный граф, вершины которого соответствуют состояниям, а дуги - переходам между ними.
Для задания функций переходов и выходов построим граф-дерево автомата Мура, а затем автомата Мили. При использовании табличного описания автомата Мура таблицы переходов автоматов Мили и Мура совпадут, а таблица выходов автомата Мили получится из таблицы переходов заменой as символом выходного сигнала. Граф автомата Мура
Граф автомата Мили
Так как в автомате Мили к определенному состоянию не привязывается определенное значение выхода, тозаменим все конечные состояния автомата Мили начальным состоянием. Построим граф зацикленного автомата Мили. Граф зацикленного автомата Мили
1.3 Составление таблиц переходов и выходов для абстрактного цифрового автомата Следующим шагом построениякодопреобразователя является построение таблицы переходов автоматапо графу автомата Мили из одного состояния в другое под действием входных переменных.
x\a
| a0
| a1
| a2
| a3
| a4
| a5
| a6
| a7
| a8
| a9
| a10
| a11
| a12
| a13
| a14
| a15
| 0
| a1
| a2
| a3
| a4
| a5
| a6
| a0
| a8
| a9
| a0
| a11
| a12
| a13
| a0
| a15
| a16
| 1
| a29
| a17
| a10
| a7
| -
| -
| -
| -
| -
| -
| a14
| –
| –
| –
| –
| -
|
x\a
| a16
| a17
| a18
| a19
| a20
| a21
| a22
| a23
| a24
| a25
| a26
| a27
| a28
| a29
| a30
| a31
| 0
| a0
| a18
| a19
| a20
| a21
| a0
| a23
| a24
| a0
| a26
| a27
| a28
| a0
| a30
| a31
| a32
| 1
| –
| a25
| a22
| –
| –
| –
| –
| –
| –
| –
| –
| –
| –
| –
| a38
| a35
|
x\a
| a32
| a33
| a34
| a35
| a36
| a37
| a38
| a39
| a40
| a41
| 0
| a33
| a34
| a0
| a36
| a37
| a0
| a39
| a40
| a41
| a0
| 1
| –
| –
| –
| –
| –
| –
| –
| –
| –
| -
|
Таблица выходов:
x\a
| a0
| a1
| a2
| a3
| a4
| a5
| a6
| a7
| a8
| a9
| a10
| a11
| a12
| a13
| a14
| a15
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 1
| 0
| 1
| 0
| 0
| 1
| 0
| 1
| 0
| 0
| 0
| 0
| -
| -
| -
| -
| -
| -
| 0
| –
| –
| –
| –
| -
|
x\a
| a16
| a17
| a18
| a19
| a20
| a21
| a22
| a23
| a24
| a25
| a26
| a27
| a28
| a29
| a30
| a31
| 0
| 1
| 0
| 0
| 1
| 1
| 1
| 0
| 0
| 0
| 1
| 0
| 0
| 1
| 0
| 0
| 0
| 1
| –
| 0
| 1
| –
| –
| –
| –
| –
| –
| –
| –
| –
| –
| –
| 0
| 0
|
x\a
| a32
| a33
| a34
| a35
| a36
| a37
| a38
| a39
| a40
| a41
| 0
| 1
| 0
| 0
| 1
| 1
| 0
| 1
| 1
| 1
| 1
| 1
| –
| –
| –
| –
| –
| –
| –
| –
| –
| –
|
|