Вторая часть Утверждения вытекает из
Вторая часть Утверждения вытекает из того факта, что если верхняя часть тестирующей таблицы при перестановке переходов в одной строке таблицы не изменяется, то нижняя часть тестирующей таблицы также не изменяется, то есть, величина µ-задержки при перестановке переходов не изменяется.
Например, в
Ошибка! Источник ссылки не найден.
таблицы переходов (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
|
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий
|