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

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