Эффективная диагностика неисправностей в сетях автоматов

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