Автомат Мили

Диаграмма состояний автомата Мили (Граф автомата)

Автомат Мили (англ. Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы.
Автомат Мили можно описать пятеркой (Q,X,Y,f,g), где Q - множество состояний автомата, X - множество входных символов, Y - множество выходных символов, q=f(Q,X) - функция состояний, y=g(Q,Y) - функция выходных символов.
Кодировка автомата Мили:
Вершина (операторная или логическая), стоящая после вершины "Начало", а также вход вершины "Конец" помечается символом S₁, вершины, стоящие после операторных помечаются символом S_n (n=2,3..).

См. также

• Автомат Мура в сравнении с автоматом Мили
• Диаграмма Мура

Литература

• Mealy George H. A Method to Synthesizing Sequential Circuits. — Bell Systems Technical Journal. — P. 1045–1079.  (англ.)
• Roth Charles H., Jr. Fundamentals of Logic Design. — Thomson-Engineering. — P. 364–367. — ISBN 0534378048  (англ.)