О преобразованиях, повышающих надежность частей схем в автоматных базисах

Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования произвольной части любой такой схемы в подсхему, в которой при появлении неисправностей из заданного класса возможно восстановление ее правильной работы с помощью фиксирования подходящих значений на некоторых входных полюсах. Эти значения определяются по результатам тестирования схемы. Статья базируется на разработанной ранее автором методике преобразований схем, позволяющей строить схемы, допускающие их тестирование с хорошей локализацией возникающих неисправностей из широкого класса. Ил. 10, библиогр. 13.