Пример автомата Мили

Таблица переходов:			Таблица выходов:

На пересечении столбца и строки ставят: и .

Таблицы переходов и выходов могут быть объединены в единую совмещенную таблицу переходов и выходов:

Пример автомата Мура:

Автомат Мура задается одной отмеченной таблицей переходов:

Для не полностью определенных автоматов на месте неопределенных состояний и выходных сигналов ставятся прочерки (не в шапках таблиц, а внутри таблиц).

Граф автомата – это ориентированный граф, вершинам которого соответствуют состояния автомата, а дугам – переходы.

Дуге , направленной от вершины к вершине приписывается (в модели Мили) входной сигнал и выходной сигнал , либо ставится прочерк.

В модели Мура выходной сигнал приписывается вершине, т.е. состоянию .

Автоматы и , заданные выше в виде таблиц, задаются следующими графами: