Теория конечных автоматов. Задача

Задача из домашней работы
Вариант № 11

Задание: найти простейший вид автомата

Находим одинаковые пары
А=G=H
C=F

Начальный граф

Заменяем вершину H на A

Заменяем вершину G на А

Заменяем вершину F на С

Итог:

Заменяем вершину E на C

Получаем следующую таблицу и граф

Далее
Оставшиеся состояния разбить на блоки, имеющие одинаковые выходные характеристики, и присвоить каждому блоку свой номер.

Дальнейшая минимизация невозможна

Другой пример

Пример канонического метода структурного синтеза

Согласно таблице переходов в входов строим граф автомата

Таблица Триггера

Заполнение таблиц

Получаем такие таблицы