4. Синтез структурного автомата каноническим методом

В данном методе автомат представлен в виде следующей схемы :

Состояние, в котором находится автомат кодируется значениями 3-х счетных триггеров: К1, К2, К3.

Закодируем состояния и входы:

1 : 000

2 : 001

3 : 010

4 : 011

5 : 100

6 : 101

7 : 110

8 : 111

k1k2k3

z1 : 00

z2 : 01

z3 : 11

z4 : 10

x1x2

Минимизированный автомат

	1	2	3	4	5	6	7	8
z1	8/w2	1/w1	6/w1	3/w1	--/w2	1/w2	6/w1	1/w2
z2	4/w2	--/--	7/w1	1/w2	6/w1	7/w2	3/w1	2/w2
z3	1/w2	7/w1	6/w2	5/w2	4/w1	1/w1	2/w1	3/w1
z4	1/w2	4/--	--/--	1/w2	1/w2	--/--	5/w2	2/w2

Тогда таблица переходов для триггеров с задержкой:

x1x2/k1k2k3		000 1	001 2	011 4	010 3	110 7	111 8	101 6	100 5
z1	00	111	000	010	101	101	000	000	---
z2	01	011	---	000	110	010	001	110	101
z3	11	000	110	100	101	001	010	000	011
z4	10	000	011	000	---	100	001	---	000

Тогда таблица переходов для счетных триггеров:

		000 1	001 2	011 4	010 3	110 7	111 8	101 6	100 5
z1	00	111	001	001	111	011	111	101	---
z2	01	011	---	011	100	100	110	011	001
z3	11	000	111	111	111	111	101	101	111
z4	10	000	010	011	---	010	110	---	100

Рассмотрим таблицы переходов для функций:

x1x2/ k1k2k3	000	001	011	010	110	111	101	100
00	1	0	0	1	0	1	1	---
01	0	---	0	1	1	1	0	0
11	0	1	1	1	1	1	1	1
10	0	0	0	---	0	1	---	1

1=

x1x2/ k1k2k3	000	001	011	010	110	111	101	100
00	1	0	0	1	1	1	0	---
01	1	---	1	0	0	1	1	0
11	0	1	1	1	1	0	0	1
10	0	1	1	---	1	1	---	0

2=

x1x2/ k1k2k3	000	001	011	010	110	111	101	100
00	1	1	1	1	1	1	1	---
01	1	---	1	0	0	0	1	1
11	0	1	1	1	1	1	1	1
10	0	0	1	---	0	0	---	0

3=

Функции выхода при условии такого же кодирования будут совпадать с полученными в методе декомпозиции. Вместо букв bcd будут буквы k1k2k3 соответсвенно.

k1k2k3 \x1x2	000	001	011	010	110	111	101	100
00	0	1	1	1	1	0	0	0
01	0	--	0	1	1	0	0	1
11	0	1	0	0	1	1	1	1
10	0	--	0	--	0	0	--	0

g=