Диагностирование цифровых автоматов без памяти на основе модификации естественного логического вывода

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