Definition
Mu-Recursive Function
A function is called mu-recursive or partially-recursive if it can be defined using primitive recursion, composition, and
-recursion.
Relation to Turing Machines
Every computable function is partially recursive.
Mu-Recursive Function
A function is called mu-recursive or partially-recursive if it can be defined using primitive recursion, composition, and
-recursion.
Every computable function is partially recursive.