КАМСИ-композиция и КАМСИ-примитив - часть 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