ТАБЛИЧНОЕ ЗАДАНИЕ АВТОМАТОВ

Поскольку множества A, B и Qавтомата Âприсутствуют в определениях функций перехода и выхода, то для задания Â достаточно определить только сами эти функции.

Поскольку области определения j и y - конечные множества, то простейший способ представления функций - табличный. В таком способе функции представляются своими графиками. Отображения j и y задаются в виде двух таблиц, одна из которых определяет j, а другая - y.Эти таблицы имеют строки, соответствующие символам входного алфавита, и столбцы, соответствующие состояниям автомата A.

Элемент таблицы для j, лежащий на пересечении i-й строки и j-го столбца, равен j(a_i,q_j). Аналогичный элемент таблицы для отображения y равен y(a_i,q_j).

jq_j yq_j

. . . .

. . . .

a_i . . . j(a_i,q_j) . . . a_i . . .y(a_i,q_j) . . .

. . . .

. . . .

Табличное здание автоматов удобно, например, если необходимо организовывать хранение и моделирование работы моделей автоматных устройств с помощью ЭВМ. В этом случае таблицы для функций j и y являются достаточно простыми структурами данных для компьютерных программ.