Definition:Basic Primitive Recursive Function/URM Computability

Definition

The basic primitive recursive functions:

• Zero Function

• Successor Function

• Projection Function

• Identity Function

are each URM computable by a single-instruction URM program.