Г. П. Аксенова, В. Ф. Халчев, “Генерация исчерпывающего теста для автоматов с конечной памятью. II”, Автомат. и телемех., 1997, выпуск 5,страницы 142

Эта публикация цитируется в 1 статье

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

Генерация исчерпывающего теста для автоматов с конечной памятью. II

Г. П. Аксенова, В. Ф. Халчев

Институт проблем управления РАН, г. Москва

Аннотация: В работе рассматриваются структурные автоматы с конечной памятью, для которых определены понятия комбинационного эквивалента и исчерпывающего теста (ИТ). Предложена структура генератора ИТ на основе генератора псевдослучайной последовательности. Дан алгоритм минимизирования длины ИТ.

УДК: 681.326.7

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