Противогоночное кодирование конечных автоматов, страница 4

Пары (q0,q5) (q1,q2); (q0,q5) (q3,q4); (q0,q5) (q6,q7) не развязаны. Добавим столбец , чтобы их развязать.

д) Вычеркнем столбец

Пара (q0,q1) (q7,q4) не развязана. Добавим столбец , чтобы её развязать.

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

Таким образом, с учётом примечания в пособии - сборнике задач, сформируем таблицы переходов и выходов структурного автомата:

Таблица переходов δ(q,x)

Таблица выходов λ(q,x)

1 2 3 4