] log2l [ Ј h, (1)
где ] a [ означает ближайшее целое, не меньшее а.
Из неравенства (1) следует, что минимальное
число элементов памяти, необходимое для получения однозначного кодирования,
h = ] log2 l [.
Кодирование состояний существенно влияет
на сложность комбинационной части схемы автомата. Для того, чтобы упростить
комбинационную схему, часто используют избыточное кодирование, выбирая
h большим, чем это необходимо для получения однозначного кодирования. Избыточное
кодирование используется также для построения схем без состязаний. Кодирование
состояний кажется целесообразным выполнять совместно с кодированием входных
и выходных сигналов, однако такая задача оказывается весьма сложной и практически
не реализуется.
4. Построение функций возбуждения.Функция
возбуждения yi' определяет, какой
сигнал нужно подать на вход i-го элемента памяти, чтобы получить код состояния,
в которое автомат должен перейти. Функции возбуждения при структурном синтезе
соответствуют функциям перехода абстрактного автомата. Это соответствие
показывает, что функции возбуждения должны зависеть от внутренних переменных
y1, y2, ..., yh,
определяющих состояние автомата, и входных переменных х1,
х2, ..., хn, относящихся к одному и тому же
моменту времени. Последнее обстоятельство позволяет нам рассматривать функции
возбуждения как
переключательные функции: