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