Частично рекурсивная функция - частичная функция f, полученная из простейших функций 0, s, конечным числом операций подстановки, примитивной рекурсии и минимизации.
Частично рекурсивная функция - частичная функция f, полученная из простейших функций 0, s, конечным числом операций подстановки, примитивной рекурсии и минимизации.