О неполноте модели алгоритмов вычисления оценок

Доказано, что линейное замыкание $\mathscr L\{A\}$ алгоритмов вычисления оценок некорректно над множеством регулярных задач и, следовательно, модель таких алгоритмов неполна. Однако для класса эффективно отделимых задач $\{Z\}$ относительно заданной системы опорных множеств $\{\Omega\}$ класс алгоритмов $\mathscr L\{A\}$ является корректным. Строится контрпример, показывающий, что условие эффективной отделимости задач не является необходимым для корректности $\mathscr L\{A\}$.