Example 8.3.1.RASPs for the initial recursive functions are trivial:
zero(x)
succ(x)
_n
k
(x1, x2, … , xn)
Theorem 8.3.1: each recursive function is RASP-computable.