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

Предлагается метод определения возможных устойчивых константных неисправностей дискретных синхронных последовательностных схем по известному фактическому поведению последних на заданной входной последовательности. Метод не накладывает ограничений на базис схемы и использует структурное представление ее в виде модели Хаффмана. В основу положено исчисление $\alpha$-состояний.