Синтез автомата для преобразования двоично-десятичного кода с весами 6.2.2.1 в двоично-десятичный код с весами 6.3.2.1, страница 6

Рис. 3.3.2

Теперь выкидываем подмножества:

{a1}{a2}{a3}{a4}{a5}{a6}{a7}{a8}{a9}{a10}{a11}{a12,a14}{a13}{a15}

Получили, что каждое состояние встречается в МС-классах только один раз. Причем состояния a12 и a14 совместимы без дополнительных условий, => мы можем представить каждый МС-класс как новое состояние, т.е. мы получили минимальный автомат:

4.Структурный синтез автомата

4.1.Построение булевых функций

На рисунке 4.1.1 приведена кодировка состояний автомата, а на рисунках 4.1.2 и 4.1.3 – кодировка входных и выходных сигналов соответственно.

Рис. 4.1.1

Рис. 4.1.2                                            Рис. 4.1.3

На рисунке 4.1.4 изображена таблица построения булевых функций для JK-триггера, а на рисунке 4.1.5 – для T-триггера (это необходимо для более простой реализации на СИС и БИС).