3.1.2 Побудова графа переходів або функціонування автомата

Для автоматів Мілі та Мура їх внутрішні стани подаються вершинами графа. Внутрішні переходи від одного стану до іншого зображуються спрямованими дугами. Для автоматів Мілі і Мура значення вхідного сигналу, що викликає цей перехід з поточного стану s(t) в подальший s(t+1), приписується відповідній дузі.

При формуванні графа для автомата Мілі необхідно враховувати, що значення вихідних сигналів y(t), які визначаються значеннями поточного стану s(t) і вхідних сигналів х(t), ставляться у відповідність самій дузі. Граф автомата Мілі наведено на рисунку 3.3, а).

Для автомата Мура значення вихідних сигналів залежать тільки від внутрішнього стану і тому приписуються відповідній вершині. Таким чином, на графах відображаються обидві характеристичні функції автомата. Граф автомата Мура, побудований за ГСА, представлений на рис. 3.3, б).

Рисунок 3.3 - Графи автоматів: а) Мілі, б) Мура

3.1.3 Побудова таблиці переходів і вихідних функцій

Для автомата Мілі в комірках таблиці переходів-виходів для кожної пари значень аргументів проставляються наступні внутрішні стани та поточні значення вихідних сигналів. Приклад табличного подання функцій автомата Мілі наведено у табл. 3.1.

Для автомата Мура в комірках таблиці переходів-виходів для кожної пари значень аргументів х(t), s(t) проставляються наступні внутрішні стани s(t+1). Значення вихідних сигналів y(t) подаються в окремому стовпці. Приклад табличного подання функцій автомата Мура наведено у табл. 3.2.

Таблиця 3.1 - Табличне подання функцій автомата Мілі

	X1X2				y
	00	01	10	11
s0	s1	s1	s1	s1	-
s1	s2	s2	s3	s3	y1
s2	s3	s3	s3	s3	y2
s3	s4	s5	s4	s5	y3, y4
s4	s0	s0	s0	s0	y5
s5	s6	s6	s6	s6	y6
s6	s0	s0	s0	s0	y7

Таблиця 3.2 - Табличне подання функцій автомата Мура

		X1X2
	00	01	10	11
s0	s1/y2	s1/y2	s1/ -	s1/ -
s1	s2/y3y4	s2/y3y4	s2/y3y4	s2/y3y4
s2	s0/y5	s3/y6	s0/y5	s3/y6
s3	s0/y7	s0/y7	s0/y7	s0/y7