Автомат Мили () — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Назван именем Джорджа Мили, учёного в области математики и компьютерных наук, придумавшего этот автомат.
Автомат Мили — совокупность , где — конечное непустое множество состояний автомата; — конечное непустое множество входных символов; — конечное непустое множество выходных символов; — функция переходов, отображающая пары (состояние, входной символ) на соответствующее следующее состояние; — функция выходов, отображающая пары (состояние, входной символ) на соответствующий выходной символ; — начальное состояние.
Кодировка автомата Мили:
Вершина (операторная или логическая), стоящая после вершины «Начало», а также вход вершины «Конец» помечается символом S1, вершины, стоящие после операторных помечаются символом Sn (n=2,3..).
Представление
Матрица функций переходов / q q / S q / U q / U q q / D q / S q / U q q / D q / D q / S
Легенда — Входные символы; — Внутренние состояния , , — Выходные символы. / — функция перехода
См. также JFLAP кроссплатформенная программа симулятор автоматов, машины Тьюринга, грамматик, рисует граф автомата Автомат Мура в сравнении с автоматом Мили Автомат Мура
Литература
Категория:Теория автоматов Категория:Диаграммы