33. Табличный способ задания автоматов

Автомат Мили задается таблицей переходов – ТП (табл. 4.1) и таблицей выходов – ТВ (табл. 4.2) В случае не полностью определенного автомата, таблица переходов или таблица выходов не полностью заполнены и в них имеются пустые позиции. Таблицы построены на основании графа переходов автомата рис. 4.3.

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

Таблица 4.2 – Таблица выходов автомата Мили

На пересечении столбца a_i и строки x_j в таблице переходов записывается состояние перехода a_s(t+1)=[a_m(t), x_f(t)], в которое автомат переходит из состояния a_m под действием сигнала x_f, а в таблице выходов – соответствующий этому переходу выходной сигнал y(t)=[a_m(t), x_f(t)].

Как нам известно, выходной сигнал автомата Мура зависит только от внутреннего состояния. Поэтому автомат Мура может быть задан одной отмеченной таблицей переходов (табл. 4.3). Таблица построена на основании графа переходов автомата рис. 4.4.

Таблица 4.3 – Отмеченная таблица переходов автомата Мура

С-автомат задается двумя таблицами таблицей переходов и отмеченной таблицей выходов или наоборот отмеченной таблицей переходов и таблицей выходов (табл. 4.4 и табл. 4.5). Таблицы построены на основании графа переходов автомата рис. 4.5.

Таблица 4.4 – Отмеченная таблица переходов С-автомата

Таблица 4.5 – Таблица выходов С-автомата