Частично Рекурсивная Функция

Рекурсивная функция,- одно из эквивалентных уточнений понятия вычислимой функции. В. Е. Плиско.