О частотном решении проблемы вхождения в рекурсивно-перечислимое множество

Исследуется вопрос о частотном (приближенном) решении проблемы вхождения в рекурсивно-перечислимое множество. В частности, для любой вычислимой нумерации $\tau$ трекурсивно-перечислимых множеств и любого $\varepsilon>0$ доказывается возможность распознавания номера общерекурсивной функции, которая решает проблему вхождения в $\tau_n$ с частотой $1-\varepsilon$ для бесконечно многих начальных кусков.
Библ. – 6 назв.