Минимальная абстрактная таблица

	в0	в1	в2	в3
U0
U1
U2
U3
U4
U5
U6
U7

Кодирование вершин соседними двоичными числами показано на графе (рис. 5.2).

Выполнив кодирование входов, выходов и внутренних состояний автомата двоичными числами на основе совмещенной минимальной абстрактной таблицы 5.4. построим отдельно структурную таблицу переходов и структурную таблицу выходов путем замены букв входов U, выходов V, внутренних состояний в их двоичными кодами.

Таблица 5.5.

Структурная таблица переходов

	00	01	11	10
000	00	01
001	00	01
010	01	01	11
011	00	01	11
100	00	01	10	00
101		11	11
110	00		11
111	00		11

Таблица 5.6.