Устройство синхронизации информационных импульсов, поступающих в произвольные моменты времени, с ближайшим спадом тактового импульса (стр. 4 из 6)

1	q0	q2	q3	q4
0	0	1	1

2	q0	q2	q4	q4
0	0	1	1

3	q0	q2	q5	q5
0	0	1	1

4	q1	q2	q3	q4
0	0	1	1

5	q1	q2	q4	q4
0	0	1	1

6	q1	q2	q5	q5
0	0	1	1

7	q2	q2	q3	q4
0	0	1	1

8	q2	q2	q4	q4
0	0	1	1

9	q2	q2	q5	q5
0	0	1	1

10	q3	q4	q5	q5
1	1	1	1
1	0	0	0	τ4
1	1	0	0	τ5

11	q4	q4	q5	q5
1	1	1	1
0	0	0	0	τ4
1	1	0	0	τ5

Развязывание переходов без τ1, τ2, τ3 не уменьшает сложность. Получаем:

τ3	τ4	τ5
q0	0	0	0
q1	0	1	0
q2	0	1	1
q3	1	1	1
q4	1	0	1
q5	1	0	0

В дальнейшем используем исходную таблицу:

τ1	τ2	τ3
q0	0	0	0
q1	1	0	0
q2	1	1	0
q3	1	1	1
q4	0	1	1
q5	0	0	1

Таблица переходов структурного автомата:

000	100	110	111	011	001
00	000	100	111	111	000	000
01	000	110	110	011	011	000
10	100	100	111	111	001	001
11	110	110	110	011	011	001

Таблица выходов структурного автомата:

000	100	110	111	011	001
00	0	0	1	1	1	0
01	0	0	0	1	0	0
10	0	0	1	1	0	0
11	0	0	0	1	1	0

Формирование функций выходов и функций возбуждения памяти автомата

Таблица переходов RS-триггера

S	R	Q
		0	1
1 0 1 0	1 1 0 0	0 1 0 x	1 1 0 x

Функция входов RS-триггера Преобразованная функция входов

qисх	S R	qкон
0 0 1 1	11 v 10 01 10 11 v 01	0 1 0 1

qисх	S R	qкон
0 0 1 1	1 * 0 1 1 0 * 1	0 1 0 1

Функция возбуждения памяти автомата при синтезе на RS-триггерах

000	100	110	111	011	001
00	1*1*1*	*11*1*	*1*101	*1*1*1	1*1010	1*1*10
01	1*1*1*	*1011*	*1*11*	10*1*1	1**1*1	1*1*10
10	011*1*	*11*1*	*1*101	*1*1*1	1*10*1	1*1**1
11	01011*	*1011*	*1*11*	10*1*1	1**1*1	1*1**1

Функция выходов y = f (x₁, x₂, τ₁, τ₂, τ₃)

Функция возбуждения U = f (x₁, x₂, τ₁, τ₂, τ₃) (S₁, R₁, S₂, R₂, S₃, R₃)

Таблица истинности функции выходов и функции возбуждения памяти конечного автомата.

x1	x2	τ1	τ2	τ3	y	S1	R1	S2	R2	S3	R3
0 0 0 0 0 0	0 0 0 0 0 0	0 1 1 1 0 0	0 0 1 1 1 0	0 0 0 1 1 1	0 0 1 1 1 0	1 * * * 1 1	* 1 1 1 * *	1 1 * * 1 1	* * 1 1 0 *	1 1 0 * 1 1	* * 1 1 0 0
0 0 0 0 0 0	1 1 1 1 1 1	0 1 1 1 0 0	0 0 1 1 1 0	0 0 0 1 1 1	0 0 0 1 0 0	1 * * 1 1 1	* 1 1 0 * *	1 0 * * * 1	* 1 1 1 1 *	1 1 1 * * 1	* * * 1 1 0
1 1 1 1 1 1	0 0 0 0 0 0	0 1 1 1 0 0	0 0 1 1 1 0	0 0 0 1 1 1	0 0 1 1 0 0	0 * * * 1 1	1 1 1 1 * *	1 1 * * 1 1	* * 1 1 0 *	1 1 0 * * *	* * 1 1 1 1
1 1 1 1 1 1	1 1 1 1 1 1	0 1 1 1 0 0	0 0 1 1 1 0	0 0 0 1 1 1	0 0 0 1 1 0	0 * * 1 1 1	1 1 1 0 * *	0 0 * * * 1	1 1 1 1 1 *	1 1 1 * * *	* * * 1 1 1

*	1	0	*	*	0	1	*
1	1	1	0	1	1	1	0
0	*	*	0	0	*	*	0
0	0	0	0	0	0	0	0

*	*	*	*	*	*	*	*
1	*	1	1	1	1	*	1
1	*	*	1	1	*	*	1
1	*	*	1	0	*	*	0

y = τ₁τ₃ v x₁x₂τ₂v x₂τ₂τ₃v x₁x₂τ₂τ₃ S₁ = x₁v τ₃