Автомат Мили (англ.Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Назван по фамилии Джорджа Мили, учёного в области математики и компьютерных наук.
— функция переходов, отображающая пары состояние/входной символ на соответствующее следующее состояние;
— функция выходов, отображающая пары состояние/входной символ на соответствующий выходной символ;
— начальное состояние.
Кодировка автомата Мили:
Вершина (операторная или логическая), стоящая после вершины "Начало", а также вход вершины "Конец" помечается символом S1, вершины, стоящие после операторных помечаются символом Sn (n=2,3..).
Представление
Матрица функций переходов
/
q1
q1 / S
q2 / U1
q3 / U2
q2
q1 / D1
q2 / S
q3 / U1
q3
q1 / D2
q2 / D1
q3 / S
Легенда
— Входные символы;
— Внутренние состояния
, , — Выходные символы.
/ — функция перехода
См. также
JFLAP кроссплатформенная программа симулятор автоматов, машины Тьюринга, грамматик, рисует граф автомата
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2024 WikiSort.ru - проект по пересортировке и дополнению контента Википедии