4. Построение кодированной таблицы переходов и выходов автомата.

Так как входные и выходные буквы можно закодировать произвольной комбинацией, то закодируем их следующим образом (таблица 6.1 и таблица 6.2):

Таблица 4.1: Таблица 4.2:

	x
a1	0
a2	0

	y1	y2
b1	0	0
b2	0	1
b3	1	0
b4	1	1

При построении кодированной таблицы переходов и выходов автомата используется таблица 1.1. Рассмотрим клетку с координатами (а₁, С₀). По таблице кодирования находим а₁ – 0, С₀ – 010. Следовательно, в первую строку левой части таблицы заносим координаты клетки. В этой же клетке записан переход в С₁ с выходным сигналом b₁. C₁ закодировано как 110, а b₁ как 00. В правую часть записываем: 0010. Так же заполняются остальные строки таблицы переходов и выходов автомата (таблица 4.3)

Таблица 4.3:

X	Z1	Z2	Z3	Z1	Z2	Z3	y1	y2
0	0	1	0	1	1	0	0	0
1	0	1	0	0	0	1	0	0
0	1	1	0	1	0	1	0	1
1	1	1	0	0	1	1	0	1
0	1	1	1	-	-	-	1	0
1	1	1	1	1	1	1	1	0
0	0	1	1	0	1	0	1	1
1	0	1	1	1	1	0	1	1
0	1	0	1	1	1	1	1	1
1	1	0	1	0	1	0	1	1
0	0	0	1	0	1	1	0	0
1	0	0	1	1	1	0	0	0

5. Синтез структурного автомата на элементах задержки.

Строим 3 карты на 4 переменных для функций Z_1-3 и две карты на 4 переменных для функций выходов у_1-2 (автомат Мура и его выходное состояние не зависят от того, что на входе). Карты заполняются по таблице 4.3

(t+1)							Z2 (t+1)							Z3 (t+1)
	0	0	1					1	1	1					1	0	0
	1		1					1		0					1		1
	0	1	0					1	1	1					0	1	1
	1	1	0					1	1	0					0	0	1

Y1 (t+1)							Y2 (t+1)
	0	1	0					0	1	0
	1	1	0					1	0	1
	1	1	0					1	0	1
	0	1	0					0	1	0

Получаем следующие функции переходов автомата:

И следующие функции выходов:

По данным функций переходов автомата построим схему на элементах задержки