recursively computable

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