Аннотация:
Доказана корректность алгебраических замыканий распознающих алгоритмов типа «тестовых» над задачами с бинарной обучающей информацией. Для каждой из рассматриваемых задач указан явный вид корректного алгоритма. Выявлена зависимость между системами опорных множеств и задачами, корректность замыканий над которыми может быть доказана.