Методы задания конечных автоматов

Наиболее распространены табличный способ задания конечного автомата и представление автомата с помощью ориентированного связанного графа.

Табличное задание автомата Мили

При табличном способе задания в верхней строке перечисляются все состояния конечного автомата, а в левом столбце – все входные сигналы. В верхних треугольниках пишут состояние в которое должен переключиться автомат в соответствии с заданным алгоритмом функционирования, в нижних треугольниках записывают значения выходных сигналов 1 рода.

Пример:

При построении граф-схемы вершины графа соответствуют состояниям автомата, переключение показывается направленными дугами, в начале дуги ставится входной сигнал, вызывающий переключение, в конце дуги - формирующийся выходной сигнал.