\begin{definition}[Definition:Basic Primitive Recursive Function/URM Computability]
The basic primitive recursive functions:
* Zero Function
* Successor Function
* Projection Function
* Identity Function
are each URM computable by a single-instruction URM program.
Category:Definitions/Mathematical Logic
\end{definition}