1.4. Матрица переходов-выходов.

Таблица 1.2. Матрица переходов-выходов автомата Мили

Состояние автомата	q0	q1	q2	q3
q0		1/y1
q1			1/y2
q2	+/ y3+			+ x1x2/y4
q3	+ x4/y5

1.5. Кодирование состояний.

Таблица 1.3. Кодирование состояний автомата Мили

Состояние	q0	q1	q2	q3
Код (α1α2)	00	01	10	11

1.6. Структурная таблица переходов-выходов.

Таблица 1.4. Структурная таблица переходов-выходов

Состояние автомата α1α2	Входные сигналы
	1					x1x2		x4
00	01/y1
01	10/y2
10		00/-	00/y3	00/-	11/-	11/y4
11							00/-	00/y5

1.7. Функции выхода.

y₁=

y₂=

y₃=

y₄=

y₅=

1.8. Таблица функций возбуждения. Функции возбуждения.

Тип элемента памяти задан – RS-триггер. Это двухвходовой триггер с двумя выходами. Приведём таблицу истинности RS-триггера (таблица 1.5.).

Таблица 1.5. Таблица истинности RS-триггера

Состояние	Входной сигнал (RS)
	00	01	10
0	0	1	0
1	1	1	0

В соответствии с таблицей истинности триггера и структурной таблицей построим таблицу функций возбуждения автомата Мили (таблица 1.7.)

Таблица 1.6. Таблица функций возбуждения автомата Мили

Состояние автомата	Входные сигналы
	1					x1x2		x4
00	x0,01
01	01,10
10		10,x0	10,x0	10,x0	0x,01	0x,01
11							10,10	10,10

По таблице функций возбуждения автомата построим функции возбуждения:

R₁ =

S₁ =

R₂ =

S₂ =

1.10. Логическая схема автомата Мили

Логическая схема автомата Мили находится в приложении А.

Глава 2. Проектирование автомата Мура.

2.1. Разметка ГСА.

Размеченная ГСА автомата Мура изображена на рисунке 2.1.

q₀

q₁

q₂

q₅

q₄

q₃

q₀

­­Рисунок 2.1. Размеченная ГСА автомата Мура.

2.2. Построение графа переходов-выходов.

1

1

1

x₁x₂

y₁

y₂

1

y₃

y₄

y₅

Рисунок 2.2. Граф переходов-выходов автомата Мура.

2.3. Таблица переходов-выходов.

Таблица 2.1. Таблица переходов-выходов автомата Мура

Выходной сигнал	Состояние автомата	Входные сигналы
		1	x1x2						x4
	q0	q1
y1	q1	q2
y2	q2		q4	q5	q0	q0	q3	q0
y3	q3	q0
y4	q4								q5	q0
y5	q5	q0