Абстрактный синтез автомата

Каждая цифра двоично-десятичного кода формируется по правилу: 
xiqi + … + x1q1 ,
где xi– двоичная цифра из множества {1, 0}, qi– вес i-го разряда.
Для кода «6421» веса разрядов следующие: q4 = 6, q3 = 4, q2 = 2, q1 = 1. Так для цифры 6 в коде «6421» возможны два варианта представления:
1000 (16 + 04 + 02 + 01 = 6), либо 0110 (06 + 14 + 12 + 01 = 6).
Аналогично формируются значения для цифр в коде «5421», для которого веса разрядов следующие: q4 = 5, q3 = 4, q2 = 2, q1 = 1. Возможны два варианта представления цифры 6 в коде «5421»:
1001 (15 + 04 + 02 + 11 = 6), либо 0110 (05 + 14 + 12 + 01 = 6).
Для заданных кодов сформировать двоичное представление десятичных чисел можно по-разному, поэтому выберем вариант с минимальным количеством единиц в двоичном представлении чисел (табл. 1).
Таблица 1 – Таблица соответствия входного и выходного кодов
Десятичная
цифра Вход Выход
Веса разрядов Веса разрядов
6 4 2 1 5 4 2 1
x4 x3 x2 x1 y4 y3 y2 y1
0 0 0 0 0 0 0 0 0
1 0 0 0 1 0 0 0 1
2 0 0 1 0 0 0 1 0
3 0 0 1 1 0 0 1 1
4 0 1 0 0 0 1 0 0
5 0 1 0 1 1 0 0 0
6 1 0 0 0 1 0 0 1
7 1 0 0 1 1 0 1 0
8 1 0 1 0 1 0 1 1
9 1 0 1 1 1 1 0 0
Граф переходов автомата
На вход проектируемого устройства код поступает последовательно разряд за разрядом, начиная со старшего x4, а на выходе сигнал формируется параллельно для всех разрядов одновременно в момент, когда на входе младший разряд x1

. Учтем, что пока на вход автомата поступают первые три разряда x4, x3, x2, на выходе сигнал отсутствует. При поступлении на вход младшего разряда x1 на выходе формируется сигнал (0 или 1) для каждого разряда y4, y3, y2, y1 одновременно в соответствии с таблицей 1.
Построим граф переходов автомата Мили