Діагностика

кінцевими.На цьому побудова діагностичного дерева закінчується.

0.	{3,4,5,6,8}
	x0							x1
1.	{3,2,7}{8,2}							{3,5,3}{2,7}
	x0				x1
2.	{4,0,7}{4}{0}				{0,4,3}{8,4}
	x0		x1		x0		x1
3.	{1,4}{0}{1}{0}		{5,3,8}{5}{3}		{0}{1,2}{1}{1}		{3,5,3}{7}{5}
	x0	x1	x0	x1	x0	x1
4.	{0}{0}{1}{0}{0}	{4,5}{3}{4}{3}	{6,2}{1}{6}{2}	{2,7}{3}{2}{3}	{0}{0,4}{0}{0}	{3}{0,4}{4}{4}

Діагностичним шляхом цього дерева є x₀ x₀ x₀ x₀. Тому діагностичною послідовністю для цього автомата M і множини початкових станів A(M)= {3,4,5,6,8} станів є послідовність { x₀ x₀ x₀ x₀}.

У таблиці наведені реакції станів 3,4,5,6,8 на вхідну послідовність x₀ x₀ x₀ x₀:

Початковий стан	Реакція на x0x0x0x0
3	1010
4	1000
5	1011
6	0110
8	0000

1. Асинхронний rs – триггер.

RS-тригер (від reset і set) має два входи: вхід S (set) називається входом установки в одиницю, вхід R (reset) – входом установки в нуль. Умовне позначення RS-тригера представлена на малюнку:

Rn	Sn	Qn	Qn+1
0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	x
1	1	1	x

Якщо уважно проаналізувати матрицю переходів, її можна представити у скороченому вигляді

Rn	Sn	Qn+1
0	0	Qn
0	1	1
1	0	0
1	1	x

або по-іншому:

Rn	Sn	Qn	Qn+1
*	0	0	0
0	1	0	1
1	0	1	0
0	*	1	1

Знак * означає, що значення сигналу на відповідному вході не впливає на результат.

RS=	00v10	01		*0	01
			=
	10	00v01		10	0*

2. R -Тригер

Цей тип тригера має матрицю переходів, яка виходить з матриці для тригера RS, якщо довизначити останню нулями на обох заборонених наборах значень аргументів RS = 11.

Rn	Sn	Qn	Qn+1
0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	0
1	1	1	0

та у скороченому вигляді

Rn	Sn	Qn+1
0	0	Qn
0	1	1
1	0	0
1	1	0

Матриця входів:

RS=	00v10v11	01		*0v1*	01
			=
	10v11	00v01		1*	0*

Зобразивши логічну функцію Q_n+1 = f (Q_n , R_n , S_n ) у вигляді карти Карно,

		RnSn
		00	01	11	10
Qn	0	0	1	0	0
	1	1	1	0	0

3. S -Тригер

S-тригер має матрицю переходів, що отримується з функції тригера RS довизначенням одиницями на обох заборонених наборах, тобто у скороченому вигляді вона виглядатиме таким чином:

Rn	Sn	Qn+1
0	0	Qn
0	1	1
1	0	0
1	1	1

а граф-схема:

Матриця входів має такий вигляд:

RS=	00v10	01v11		*0	*1
			=
	10	00v01v11		10	0*v*1

4. Е-тригер (тригер з парафазним збудженням)

Е-тригер представляє третій варіант довизначення часткового RS-тригера:

Rn	Sn	Qn+1
0	0	Qn
0	1	1
1	0	0
1	1	Qn

Матриця входів:

RS=	00v10 v11	01		*0v1*	01
			=
	10	00v01v11		10	0*v*1