Граф автомата Мили это ориентированный граф, вершины которого соответствуют состояниям автомата, а дуги – переходам из состояния в состояние. Каждая вершина помечается обозначением состояния, на каждой дуге указывается пометка вида: входных сигнал/выходной сигнал.
Граф автомата Мура это ориентированный граф, вершины которого соответствуют состояниям автомата, а дуги – переходам из состояния в состояние. Каждая вершина помечается обозначением: состояние/выходной сигнал, на каждой дуге указывается входной сигнал.