Primitive-Recursive Function

computation

Definition

Primitive-Recursive Function

A function is called primitive-recursive if it can be defined using primitive recursion and composition.

Note: Primitive-recursive functions are total.