Табличный метод

Описание работы автомата Мили таблицами переходов и выходов иллюстрируется таблицами Табл. 1 и Табл. 2. Строки этих таблиц соответствуют входным сигналам, а столбцы - состояниям, причем крайний левый столбец состояний обозначен начальным состоянием а₁.

Табл. 1 Табл. 2

Общий вид таблицы переходов Общий вид таблицы выходов

автомата Мили автомата Мили

На пересечении столбца а_m и строки z_f в таблице переходов ставится состояние а_s = (а_m, z_f), в которое автомат переходит из состояния аm под действием сигнала z_f, а в таблице выходов-соответствующий этому переходу выходной сигнал w_g = (а_m, z_f). Пример табличного способа задания полностью определенного автомата Мили S₁ с тремя состояниями, двумя входными и двумя выходными сигналами приведен в таблицах Табл. 3 и Табл. 4.

Табл. 3 Табл. 4.

Таблица переходов автомата Мили S1 Таблица выходов автомата Мили S1

Для частичных автоматов, у которых функции или определены не для всех пар (а_m, z_f) А х Z, на месте неопределенных состояний и выходных сигналов ставится прочерк (частичный автомат S₂ задан таблицами Табл. 5 и Табл. 6.

Табл. 5 Табл. 6

Таблица переходов частичного Таблица выходов частичного

автомата Мили S2 автомата Мили S2

Так как в автомате Мура выходной сигнал зависит, только от состояния, автомат Мура задается одной отмеченной таблицей переходов (Табл. 7), в которой каждому ее столбцу приписан, кроме состояния а_m, еще и выходной сигнал w_g = (а_m), соответствующий этому состоянию. Пример табличного описания автомата Мура S₃ иллюстрируется таблицей Табл. 8.

Табл. 7 Табл. 8

Общий вид отмеченной таблицы Отмеченная таблица переходов

автомата Мура S₂ автомата Мура S₂