- Автомат Мили
-
Автомат Мили (англ. Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы.
Автомат Мили можно описать пятеркой (Q,X,Y,f,g), где Q - множество состояний автомата, X - множество входных символов, Y - множество выходных символов, q=f(Q,X) - функция состояний, y=g(Q,Y) - функция выходных символов.
Кодировка автомата Мили:
Вершина (операторная или логическая), стоящая после вершины "Начало", а также вход вершины "Конец" помечается символом S1, вершины, стоящие после операторных помечаются символом Sn (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 (англ.)
Эта статья слишком короткая. Категории:- Теория автоматов
- Диаграммы
Wikimedia Foundation. 2010.