Об условных тестах для контроля сетей автоматов

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