вар 4, Т-триггеры, цифра 1 по МУ

Задание
Абстрактный автомат Мили задан таблицей переходов/выходов.
Требуется
а) Минимизировать число состояний абстрактного автомата;
б) Построить графы исходного минимизированного автомата;
в) Произвести структурный синтез автомата на элементах памяти Д-триггера;
г) Вычертить логическую схему минимизированного автомата.

Получим таблицы:
Входы Функция переходов Функция выходов S1 S2 S3 S4 S5 S6 S7 S8 S1 S2 S3 S4 S5 S6 S7 S8 000 001 010 011 100 101 110 111 000 001 010 011 100 101 110 111 00 111 000 000 101 011 000 000 101 00 10 00 00 10 01 00 00 01 000 001 011 011 111 011 001 010 01 00 01 00 00 01 01 01 10 001 010 110 110 100 110 010 011 10 00 01 10 00 10 10 01
Функции у1 и у2 могут быть непосредственно получены из таблицы выходов, например, в виде :
Однако выражения для у2 можно существенно упростить в результате минимизации, например, с помощью карт Карно. Тогда получим:
Для D-триггеров таблица переходов совпадает с таблицей функции возбуждения. Тогда либо непосредственно из этой таблицы, либо в результате минимизации получаем требуемые значения Di. Обычно используется минимизация с помощью карт Карно.
Таким образом, логическое представление автомата будет иметь вид:
y1,y2,D1,D2,D3.