recursive computability

Мат. рекурсивная вычислимость