Алгебраическая модель аппаратного контроля автоматов

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