Об инвариантных распознающих алгоритмах, удовлетворяющих условиям неизбыточности и монотонности

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