2014-02-04
638
Анализ канонического метода синтеза автомата показывает, что различные варианты кодирования состояний автомата приводят к различным вариантам формирования выражения для функции возбуждения элементов памяти и функции выхода. В результате оказывается, что сложность комбинационной схемы автомата существенно зависит от выбранного кодирования.
| а1 | а2 | а3 | |
| z1 | а2 | - | а1 |
| z2 | а3 | а1 | - |
| z3 | а2 | а3 | а3 |
D-триггер:
Закодируем состояния
а1 =>00, а2 =>01, а3 =>11.
z1 =>00, z2 =>01, z3 =>10.
Получим отмеченную таблицу переходов структурного автомата:
| - | |||
| - | |||
Возьмём другое кодирование:
а1 =>01, а2 =>10, а3 =>00.
| - | |||
| - | |||
При кодировании состояний автомата используются алгоритмы, позволяющие упростить функцию возбуждения элементов памяти, если при синтезе автомата в качестве элементарных автоматов памяти используются D-триггеры.
