Definition:Primitive Recursive/Function
Jump to navigation
Jump to search
Definition
A function is primitive recursive if and only if it can be obtained from basic primitive recursive functions using the operations of substitution and primitive recursion a finite number of times.