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

Таблица переходов

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

Таблица выходов

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

Совмещенная таблица

переходов и выходов

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

Отмеченная таблица

переходов и выходов автомата Мура

Графы автоматов: Мили; Мура

При любом способе задания должны соблюдаться условия однозначности и полноты переходов:

- условие однозначности (детерминированности) означает, что для любой пары a_m z_f задано единственное состояние перехода a_s и единственный выходной сигнал w_g , выдаваемый на переходе.

- условие полной определенности означает, что для всех возможных пар a_m z_f всегда указано состояние и выходной сигнал.

СКУ и СВФ Для автомата Мили:

СКУ и СВФ Для автомата Мура:

СКУ: a₁(t+1) = z₁a₃  z₁a₄;

a₂(t+1) = z₁a₁  z₁a₂;

a₃(t+1) = z₂a₂  z₂a₄;

a₄(t+1) = z₂a₁  z₂a₃

СВФ: w₁(t) = z₁a₁  z₁a₂;

w₂(t) = z₁a₃;

w₃(t) = z₂a₂;

w₄(t) = z₁a₄  z₂a_3;

w₅(t) = z₂a₁  z₂a_4.

СКУ: a₁(t+1) = z₁a₁ z₁z₂a₄;

a₂(t+1) = z₂a₁;

a₃(t+1) = z₁a₁;

a₄(t+1) = z₁a₄  z₂a₂  z₂a₃.

СВФ: w₁(t) = a₄;

w₂(t) = a₂;

w₃(t) = a₁  a₃.