Н. В. Евтушенко, А. В. Лебедев, А. Ф. Петренко, “Построение проверяющего множества для компоненты последовательной автоматной сети”, Автомат. и телемех., 1994, выпуск 8,страницы 145

Техническая диагностика

Построение проверяющего множества для компоненты последовательной автоматной сети

Н. В. Евтушенко^a, А. В. Лебедев^a, А. Ф. Петренко^b

^a Томский государственный университет
^b Институт электроники и вычислительной техники, Рига

Аннотация: Предлагается новый подход к решению задачи построения проверяющих тестов для компоненты последовательной автоматной сети, основанный на построении недетерминированного автомата, который описывает поведение компоненты, наблюдаемое на выходе сети.

УДК: 519.718.7

Поступила в редакцию: 24.05.1993