Синтез автомата мура

[vas50]

Всем, привет! Задан автомат Мура, количество состояний 4 - а1,а2,а3,а4, количество входов 3 - х1,х2,х3, количество выходов тоже 3 - y1,y2,y3. Я синтезирую автомат на D триггерах, Составляю таблицу переходов, потом кодирую состояния (Q1,Q2)(а1=00, а2=01, а3=10, а4=11), входы (X1,X2)(х1=00,х2=01,х3=10), выходы (Y1,Y2)(у1=00,у2=01,у3=10), потом кодирую таблицу и разбиваю её на две, первая по первому столбцу, вторая по второму, с помощью метода Карты Карно минимизирую по 1. Таким образом получаю функции D1,D2. А функции выхода получаю: строю таблицу выходов закодированную, потом также разбиваю её на две таблицы по первому и второму столбцам, и нахожу также методом Карты Карно минимизирую функцию, только в данном случае функции выходов Y1,Y2 не будут зависеть от входов, т.е от х1,х2, т.е в минимизированной функции будут только Q1,Q2. Правильно ли я понимаю?) Автомат на картинке по ссылке https://vk.com/away.php?to=https%3A%2F% ... dk&cc_key= Ещё две ссылки на фотки, где представлена минимизация D1,D2 и Y1,Y2 https://vk.com/away.php?to=https%3A%2F% ... dk&cc_key= https://vk.com/away.php?to=https%3A%2F% ... dk&cc_key=