КАМСИ-композиция и КАМСИ-примитив - часть 2

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

Например, в Ошибка! Источник ссылки не найден.

таблицы переходов (a) и (b) получены перестановкой в строке А. Как следует из способа построения  тестирующей таблицы (с) (см. «Switching and Finite Automata Theory», Zvi Kohavi), каждому из них  соответствует одна и та же тестирующая  таблица Ошибка! Источник ссылки не найден.(с).

	P,E1
	P=0	P=1
A	B,0	A,0
B	A,1	B,1

(a)

	P,E1
	P=0	P=1
A	A,0	B,0
B	A,1	B,1

(b)

Е1,Р

Е1=0

У1=1

A

AB

B

AB

AB

-

-

(c)

?=2

Table 12

Утверждение 6 : «Инвертирование всех значений выходов автомата в таблице переходов КАМСИ сохраняет свойство КАМСИ и его тип».

Доказательство следует из того, что инвертирование всех значений равносильно перестановке столбцов P=0 и P=1 в тестирующей таблице, что не может изменить характеристики автомата.    

Например, в Ошибка! Источник ссылки не найден. в столбцах (А) и (В) в строках 000 и 100 расположены таблицы переходов, полученные инвертированием значений выходов, соответственно. Другие  строки таблицы получены последовательным применением операций, описанных в «Ошибка! Источник ссылки не найден.» и «Ошибка! Источник ссылки не найден.».

Таким образом, в Ошибка! Источник ссылки не найден.

(столбце А) приведены все варианты таблицы переходов 000, к которой применена операция «Ошибка! Источник ссылки не найден.», а в столбце В – операция «Ошибка! Источник ссылки не найден.».

Столбец А		Столбец В

	P,E1
	P=0	P=1
A	B,0	A,0
B	A,1	B,1

P,E1

P=0

P=1

A

B,1

A,1

B

A,0

B,0

000

100

Содержание  Назад  Вперед