Табличный способ задания конечных автоматов

Чтобы задать конечный F-автомат, необходимо описать все элементы множества F =, т. е. входной, внутренний и выходной алфавиты, а также функции переходов и выходов, причем среди множества состояний необходимо выделить состояние z0, в котором автомат находился в момент времени t = 0. Существует несколько способов задания работы F-автоматов, но наиболее часто используются табличный, графический и матричный.

Простейший табличный способ задания конечного автомата основан на использовании таблиц переходов и выходов, строки которых соответствуют входным сигналам автомата, а столбцы — его состояниям. При этом обычно первый слева столбец соответствует начальному состоянию z0. На пересечении i-й строки и k-го столбца таблицы переходов помещается соответствующее значение ?(zk, хi) функции переходов, а в таблице выходов соответствующее значение ?(zk, xi) функции выходов. Для F-автомата Мура обе таблицы можно совместить, получив так называемую отмеченную таблицу переходов, в которой над каждым состоянием zk автомата, обозначающим столбец таблицы, стоит соответствующий этому состоянию, согласно (2.17), выходной сигнал? (zi).

Описание работы F-автомата Мили таблицами переходов? и выходов? иллюстрируется табл. 2.1, а описание F-автомата Мура — таблицей переходов (табл. 2.2).

Примеры табличного способа задания F-автомата Мили F1 с тремя состояниями, двумя входными и двумя выходными сигналами приведены в табл. 2.3, а для F-автомата Мура F2 — в табл. 2.4.