4.2.3. Установочный эксперимент

Установочным деревом называют дерево преемников, в котором ветвь b k-го уровня становится оконечной, если удовлетворяется одно из следующих условий:

• A-группа, связанная с b, связана с некоторой ветвью уровня, предшествующего k-му.

• Имеется ветвь k-го уровня (возможно, сама ветвь b), связанная с однородной A-группой.

Установочным путем называется любой путь в установочном дереве, оконечная ветвь которого связана с однородной А-группой.

Для автомата табл. 4.1 приведём установочное дерево, построенное при условии, что A(S)={3, 4, 5, 7}.

{3, 4, 5, 7}
1	α		β
	{5, 8},{3, 2}		{1,4, 6, 4}
2	α	β	α	β
	{2, 5}, {1, 5}	{6, 9},{1, 5}	{1}, {3, 7, 3}	{4, 4, 4},{3,3}

Получаем в итоге, что установочный эксперимент состоит в подаче на вход автомата последовательности (β β). Если при этом выходное слово равно (11), то автомат установлен в состояние 4, если выходное слово равно (10), то автомат находится в состоянии 3.

4.3. Упражнения Диагностические эксперименты

Построить диагностическую последовательность для автомата при условии, что множество допустимых начальных состояний A(S)={2,3,4}.

Вариант 1

	1	2	3	4	5	6
z1	1/w1	3/w1	1/w1	6/w2	4/w2	2/w1
z2	5/w2	5/w1	1/w2	3/w2	2/w1	1/w1

Вариант 2

	1	2	3	4	5	6
z1	2/w1	4/w2	5/w2	3/w1	5/w1	4/w2
z2	3/w2	1/w2	2/w1	4/w2	6/w1	5/w1

Вариант 3

	1	2	3	4	5	6
z1	1/w1	4/w1	2/w1	3/w2	5/w2	4/w1
z2	3/w2	1/w1	2/w2	4/w2	6/w1	5/w1

Вариант 4

	1	2	3	4	5	6
z1	1/w1	5/w2	2/w1	3/w2	4/w1	4/w1
z2	3/w2	1/w1	2/w2	4/w2	6/w1	5/w1

Вариант 5

	1	2	3	4	5	6
z1	6/w1	5/w2	2/w1	3/w2	6/w1	4/w1
z2	2/w2	1/w1	3/w2	4/w2	6/w1	5/w1

Вариант 6

	1	2	3	4	5	6
z1	1/w1	5/w2	2/w1	3/w2	4/w1	4/w1
z2	3/w2	1/w1	2/w2	4/w2	6/w1	5/w1