5. Построение графа функционирования автомата

Для автоматов Мура его внутренние состояния представляется вершинами графа. Внутренние переходы от одного состояния к другому изображаются направленными дугами. Для автомата Мура значения выходных сигналов зависят только от внутреннего состояния и поэтому приписываются соответствующей вершине. Таким образом, на графах отображаются обе характеристические функции конечного автомата.

Согласно отмеченной граф-схеме алгоритма управляющего автомата Мура строим граф функционирования автомата (рисунок 9).

S1/y1,y2

S0

X1

X1

X2

S3/y4,y5

S2/y2,y3

X2

S4

X3

X3

S6/y6

S5

S7/y5

Рисунок 9. Граф функционирования автомата

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

Число разрядов кода состояния соответствует числу элементов памяти и определяется по формуле: k =  log₂ S  , где

k – число разрядов (число элементов памяти)

S – число внутренних состояний;

  - округление в большую сторону.

В нашем случае для автомата Мура число состояний S = 7. Количество разрядов кода состояния (число элементов памяти): K = ]log₂S[ = ]log₂7[ = 3.

Таблица кодировки состояний для автомата Мура приведены в таблице 1.

Таблица1. Кодировки состояний для автомата Мура

	Q1	Q2	Q3
S0	0	0	0
S1	0	0	1
S2	0	1	0
S3	0	1	1
S4	1	0	0
S5	1	0	1
S6	1	1	0
S7	1	1	1

7. Формирование функций перехода, возбуждения и выходов устройства

По отмеченной ГСА или графу функционирования автомата, таблицы кодировки состояний автомата (таблица 1) и таблицы переходов триггеров (таблица 2) строим таблицу функций перехода, возбуждения и выходов устройства.

Таблица 2. Таблица переходов D-триггера

Q(t)	Q(t+1)	D
0	0	0
0	1	1
1	0	0
1	1		1

Таблица 3. Таблица функций выходов для автомата Мура

Состояние	Код состояния			Выходные функции
	Q1	Q2	Q3	Y1	Y2	Y3	Y4	Y5	Y6
S0	0	0	0	0	0	0	0	0	0
S1	0	0	1	1	1	0	0	0	0
S2	0	1	0	0	1	1	0	0	0
S3	0	1	1	0	0	0	1	1	0
S4	1	0	0	0	0	0	0	0	0
S5	1	0	1	0	0	0	0	0	0
S6	1	1	0	0	0	0	0	0	1
S7	1	1	1	0	0	0	0	1	0