О диагностических и установочных задачах для схем из ненадежных автоматов

Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования любой части произвольной схемы в подсхему, для которой возможна диагностика с хорошей локализацией возникающих в ней неисправностей из широкого класса. При некоторых ограничениях на используемый базис предложенные преобразования позволяют получать схемы, которые не только удобны для диагностики неисправностей, но и позволяют переводить схемы из состояния в состояние с помощью коротких входных последовательностей. Описаны тестовые последовательности и последовательности, устанавливающие схему в заданное состояние. Получены верхние оценки длин таких последовательностей и верхние оценки сложности преобразованных схем. Табл. 3, ил. 7, библиогр. 14.