1.2 Построение графа цифрового автомата

Граф автомата - ориентированный связный граф, вершины которого соответствуют состояниям, а дуги - переходам между ними.

Для задания функций переходов и выходов построим граф-дерево автомата Мура, а затем автомата Мили. При использовании табличного описания автомата Мура таблицы переходов автоматов Мили и Мура совпадут, а таблица выходов автомата Мили получится из таблицы переходов заменой a_s символом выходного сигнала.

Граф автомата Мура

Граф автомата Мили

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

Граф зацикленного автомата Мили

1.3 Составление таблиц переходов и выходов для абстрактного цифрового автомата

Следующим шагом построения кодопреобразователя является построение таблицы переходов автомата по графу автомата Мили из одного состояния в другое под действием входных переменных.

x\a

a0

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

a13

a14

a15

0

a2

a3

a4

a6

a8

a9

a12

a14

a16

a17

a19

a21

a22

a23

a24

–

1

a1

–

a5

–

a7

a10

a11

a13

a15

a18

a20

–

–

–

–

a25

x\a

a16

a17

a18

a19

a20

a21

a22

a23

a24

a25

a26

a27

a28

a29

a30

a31

0

a26

a27

a28

a29

a30

a31

a32

a33

a34

a35

a36

a37

a38

a39

a40

a0

1

–

–

–

–

–

–

–

–

–

–

–

–

–

–

–

–

x\a	a32	a33	a34	a35	a36	a37	a38	a39	a40
0	a0	a0	a0	a0	a0	a0	a0	a0	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	1	0	0	0	1	1	1	1	0	–
1	0	–	0	–	0	0	1	0	0	1	1	–	–	–	–	0

x\a

a16

a17

a18

a19

a20

a21

a22

a23

a24

a25

a26

a27

a28

a29

a30

a31

0

0

1

0

0

1

1

0

0

1

0

0

1

0

1

0

1

1

–

–

–

–

–

–

–

–

–

–

–

–

–

–

–

–

x\a	a32	a33	a34	a35	a36	a37	a38	a39	a40
0	1	0	1	1	0	0	1	0	0
1	–	–	–	–	–	–	–	–	–