Перерисованная совмещенная таблица переходов и выходов

 В таблицах кодирования выходные каналы Z₁ и Z₂ называются физическими выходами автомата.

3. Пользуясь таблицами кодирования, можно на основе заданных переходов и выходов построить кодированные таблицы переходов и выходов. Кодированная таблица переходов определяет зависимость состояний Qi(t+1) элементарных автоматов в момент времени (t+1) от значения входного сигнала и внутренних состояний автоматов в предшествующий момент времени t. То есть:

Qi(t+1)=fi[Q₁(t), Q₂(t),…,Q_R(t),O₁(t),…, O_L(t)]

В кодированной таблице выходов – выходные сигналы Z_l(t) определяются в зависимости от значения входных сигналов и внутренних состояний в момент времени t. То есть:

Z_l(t)=fi[Q₁(t),Q₂(t),…,Q_R(t),O₁(t),…,O_L(t)]

Кодированная таблица переходов и выходов (совмещенная) имеет следующий вид:

В нашем случае:

Z_l(t) = fi₁[Q₁(t), Q₂(t), O₁(t)], Z₂(t) = fi₂[Q₁(t), Q₂(t), O₁(t)]

Эти функции являются переключательными, поскольку значения функции и ее аргументов определены в один и тот же момент времени t.

4. Основная задача, решаемая в процессе структурного синтеза – построение таблицы функций возбуждения элементарных автоматов, которая определяет значения сигналов на входах элементарных автоматов, необходимые для обеспечения переходов автомата из одного состояния в другое. При построении этой таблицы используется матрица переходов выбранных элементарных автоматов, в нашем случае JK-триггера:

С помощью матрицы переходов заполняются столбцы таблицы функций возбуждения. В строках этой таблицы записываются значения J и K, обеспечивающие нужный переход.

Таблица функций возбуждения:

Таким образом, получим значения входных сигналов J и K элементарных автоматов, которые зависят как от значения входного сигнала, так и от состояния автомата в тот же момент времени, что и Qi.

Поскольку функции возбуждения J(t) и K(t) определенны в тот же момент времени, что и их аргументы Q₁(t), Q₂(t) и O₁(t), то эти функции являются переключательными. В результате мы получим систему переключательных функций Z₁(t), Z₂(t), J₁(t), K₁(t), J₂(t) и K₂(t) заданных в виде таблиц их истинности.

5. Следующий этап –синтез комбинационной части конечных автоматов. На этом этапе по полученным переключательным функциям синтезируются комбинационные схемы. Очевидно, задача комбинационного синтеза конечных автоматов полностью совпадает с задачей синтеза логических схем. Обычно полученные переключательные функции минимизируют и представляют в булевом базисе, а переход к заданному базису осуществляют после.

В нашем случае мы имеем шесть переключательных функций трёх аргументов, для каждой из которых построим диаграмму Вейча.