Полностью самопроверяемые асинхронные комбинационные схемы и свойство индицируемости

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