Большой русско-английский словарь РЕКУРСИВНО вычислимый мат. recursively calculable, recursively computable