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