Рекурсивное множество

РЕКУРСИВНОЕ МНОЖЕСТВО — множество, вопрос о принадлежности (соответственно непринадлежности) к которому решается с помощью определенной процедуры за конечное число действий.