6.3.3.2. Формирование оператора 

По кодированной таблице переходов автомата можно определить для каждого разряда вектора q[+1]=(q₁[+1], q₂[+1],...q_m[+1]) зависимость с каждым разрядом векторов q[]=(q₁[], q₂[],...q_m[]) и x[]=(x₁[], x₂[],...x_n[]).

Пусть дана таблица переходов минимизированного автомата, представленная в кодах входных сигналов и внутренних состояний.

(q3q2q1)	(x2x1)
	01	10	11
001	010	010	011
010	001	010	010
011	100	010	001
100	001	101	100
101	011	101	011

По этой таблице для каждого типа триггера (см. рис. 6.27) можно сформировать сигналы в каждом разряде для перевода его из состояния q_i[] в состояние. q_i[+1], т. е. построить таблицу возбуждения триггера.

Пусть дан JK-триггер, имеющий два информационных входа. В каждой клетке таблицы 6.45 верхняя строка есть информационный вход J, а нижняя строка – информационный вход K.. В каждой клетке таблицы символом “*” отмечены позиции (qi, J) и (qi, K), в которых допустимы любые значения информационного сигнала.

По сформированной таблице 6.45 перейти к формированию оператора  (см. рис. 6.19) или функции возбуждения памяти автомата в форме СДНФ или СКНФ.

Таблица 6.45.
(q3q2q1)	(x2x1)
	01	10	11
001	0 1 0 * * *	0 1 0 * * *	0 1 * * * 0	J K
010	0 * 1 * 1 *	0 * 0 * 0 *	0 1 * * * 0	J K
011	1 * * * 1 1	0 * * * 0 1	0 * * * 1 0	J K
100	* 0 0 1* *	* 0 1 0 * *	* 0 0 0 * *	J K
101	* 1 * 1 * 0	* 0 * 0 * 0	* 1 * 1 * 0	J K
	q3q2q1	q3q2q1	q3q2q1

Н апример, система функций возбуждения памяти автомата в форме СДНФ, составленная по таблице 6.45 имеет вид:

U(J₃)=q₃q₂q₁x₂x₁

U(K₃)=q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

U (J₂)=q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

q₃q₂q₁x₂x₁ q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

U(K₂)=q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

U (J₁)=q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

U(K₁)=q₃q₂q₁x₂x₁q₃q₂q₁x₂x₁

Минимизировать состав и структуру системы функций возбуждения удобнее выполнять на картах Карно по методу, изложенному в 6.3.2.2. Каждой карте Карно присвоено имя U(J_i) или U(K_i), где U – сигнал возбуждения триггера, J – информационный вход JK-триггера, K – информационный вход JK-триггера, i –разряд регистра внутренних состояний автомата (i{1, 2, 3}

Для этого по таблице 6.45 составим карты Карно по каждому информационному входу (J и K) каждого разряда кода внутреннего состояния автомата (q₁, q₂, q₃).

Анализ карт Карно позволяет найти минимальные функции возбуждения по каждому информационному входу и каждому разряду регистра внутренних состояний с учетом безразличного значения в некоторых клетках таблицы, отмеченного знаком “*”.

U(J3)

x1

x1

U(K3)

x1

x1

q 3

q 3

q2

*

*

*

*

*

1

0

*

q2

*

*

*

*

*

*

*

*

*

*

*

*

0

0

0

0

x2

*

*

*

*

*

*

*

*

x2

*

*

*

*

0

*

*

*

0

0

1

0

*

*

*

*

*

*

*

*

0

0

*

*

*

1

1

*

*

*

*

*

q 1

q 1

U(J2)

x1

x1

U(K2)

x1

x1

q 3

q 3

q2

*

*

*

*

*

*

*

*

q2

*

*

*

*

*

1

1

*

*

*

*

*

*

*

1

*

x2

*

*

*

*

0

1

*

0

x2

0

0

1

0

1

1

*

*

*

*

*

*

*

*

*

*

*

0

1

*

*

1

*

*

*

*

*

*

*

*

*

*

q 1

q 1

U(J1)

x1

x1

U(K1)

x1

x1

q 3

q 3

q2

*

*

*

*

*

*

1

*

q2

*

*

*

*

*

1

*

*

*

*

*

*

*

*

*

0

x2

*

*

*

*

1

0

*

*

x2

1

0

*

*

0

*

*

*

*

*

0

0

*

0

*

*

*

0

*

*

*

0

*

*

*

*

0

*

*

*

*

*

q 1

q 1

Ниже представлены минимальные ДНФ для каждой функции.

U (J₃)=q₂q₁x₂,

U(K₃)=x₂q₁x₁,

U(J₂)=q₃q₁x₁,

U(K₂)=x₁,

U(J₁)=q₃x₁q₂x₂,

U(K₁)=q₂x₁q₂x₂.

Принятые обозначения логических схем (см. рис. 6.25) и элементов временной задержки (см. рис. 6.27) позволяет составить логическую схему структурного автомата (см. рис. 6.19), опираясь только на минимальные ДНФ (или КНФ) операторов  и  для соответствующего типа триггера. На рис..6.31 приведена структура операторов  и  для JK-триггеров и минимальных ДНФ.