О синтезе дискретных устройств с учетом удобства проверки их технического состояния

Указывается способ такого доопределения функций переходов и выходов исходного автомата на добавленной к его входному алфавиту одной букве, при котором получается сильно связный автомат, моделирующий исходный и имеющий диагностическую последовательность минимально возможной длины.