Аннотация:
Рассматривается представление конечного автомата схемой в базисе
из сильно связных конечных автоматов. Ранее автором этой статьи
был предложен метод преобразования любой части произвольной схемы
в подсхему, для которой возможна диагностика с помощью условных тестов
с хорошей локализацией возникающих неисправностей из широкого класса. В настоящей статье предлагается усовершенствование этого метода.
При ограничении на базис, требующем, чтобы в графе переходов каждого
автомата имелась петля, удается добиться, чтобы преобразованные схемы стали
более удобными для диагностики, а тестовые процедуры для них – существенно более короткими. Приводится алгоритм получения тестов,
даются оценки длин тестов и сложности преобразованных схем.
Табл. 1, ил. 6, библиогр. 5.