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

Решена задача полноты для множества алгоритмов распознавания специального вида. Эти алгоритмы используют в качестве обучающей информации набор «условных» неравенств между классами. Показано, что в алгебраическом замыкании этих распознающих алгоритмов содер­жится алгоритм, правильно решающий каждую допустимую задачу; вычислен порядок такого замыкания; правильный алгоритм в замыкании найден в явном виде.