Добрый день, уважаемые форумчане.
Я синтезировал автомат Мура на RS (JK) триггерах (JK = RS (но без запрещенных состояний))
Работа ведется в EWB (electronic workbench). Проблема в том, что я не могу зафиксировать безусловные переходы (и не понятно становится, то ли переходы образуются как S0->S1-[ X1 ]->S2-[ !X2 ]->S3->S0->S1, то ли как S0->S1-[ X1 ]->S2->S1).
Подскажите, пожалуйста, как зафиксировать на диаграмме эти переходы?
Прикладываю
схема алгоритма Автомата Мура,
граф-схема автомата с кодами состояний,
Карта переходов
функции возбуждения RS (JK)
схема в EWB
Материалов по поводу синтеза автомата Мура предостаточно, но такого нюанса как фиксация безусловного перехода на диаграмме я не встречал.
Заранее спасибо Вам за помощь.
automat_lutsenkoda.ewb
