Автомат Мили
thumb|200px|right|Диаграмма состояний автомата Мили (Граф автомата)
 Автомат Мили () — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов. Это означает, что в графе состояний каждому ребру соответствует некоторое значение (выходной символ). В вершины графа автомата Мили записываются выходящие сигналы, а дугам графа приписывают условие перехода из одного состояния в другое, а также входящие сигналы. Назван именем , учёного в области математики и компьютерных наук, придумавшего этот автомат.

Автомат Мили — совокупность formula_1, где
* formula_2 — конечное непустое множество состояний автомата;
* formula_3 — конечное непустое множество входных символов;
* formula_4 — конечное непустое множество выходных символов;
* formula_5 — функция переходов, отображающая пары состояние/входной символ на соответствующее следующее состояние;
* formula_6 — функция выходов, отображающая пары состояние/входной символ на соответствующий выходной символ;
* formula_7 — начальное состояние.

Кодировка автомата Мили:

Вершина (операторная или логическая), стоящая после вершины «Начало», а также вход вершины «Конец» помечается символом S1, вершины, стоящие после операторных помечаются символом Sn (n=2,3..).
thumb|200px|right|Диаграмма состояний автомата Мили (Граф автомата)
UNK
Q176452
конечный автомат
Concept
Q640119
автомата Мура
MISC
Q272404
конечное непустое множество
Concept
Q1126309
Автомат Мили
MISC
Q1126309
Автомат Мили
MISC
+200^^http://www.w3.org/2001/XMLSchema#decimal
200
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
+7^^http://www.w3.org/2001/XMLSchema#decimal
7
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2.3^^http://www.w3.org/2001/XMLSchema#decimal
2,3
NUMBER
instance of