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

	в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.

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

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

Получение уравнений выходов

Известно, что количество разрядов двоичных чисел, которыми кодируются входы равно количеству входов автомата, соответственно внутренние состояния – количеству элементов памяти, выходы – количеству выходов автомата. В рассматриваемом примере количество входов три Х₁ Х₂ Х₃, элементов памяти два Q₁ Q₂, выходов два Y₁ Y₂ (см. таблицу 5.5). Отсюда следует, что выходы Y₁ и Y₂ будут зависеть от пяти переменных X₁ X₂ X₃ q₁ q₂, т.к. выходы автоматов Мили формируются входными воздействиями и внутренними состояниями. Уравнения выходов Y₁ Y₂ из структурной таблицы выходов можно получить двумя способами:

7. Сначала получить уравнения в виде СДНФ, а потом их минимизировать.

8. Сразу получить минимальные уравнения, используя матрицу на пять переменных.

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

Таблица 5.7.