Алгебра над алгоритмами вычисления оценок: монотонные решающие правила

Исследованы решающие правила (для распознающих алгоритмов), на которые накладываются требования монотонности. Показано, что корректность алгоритма, связанная с использованием этих решающих правил, эквивалентна стандартной корректности, которая изучалась в классических работах по алгебраическому подходу к проблеме распознавания. Библ. 12.