Преобразование структурного автомата с памятью к пригодному для контроля виду

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