Theorem 8.3.2: each RASP-computable function is Turing-computable.
0x10y1 … 0z1
LDM 0r1 STM 0s1 …
0k1
0p1
0q1
…
acc
pgm
ic
m1
mn