URM evaluator

Available URM instructions

Zero

Z(n) sets r_n = 0

Successor

S(n) increments r_n, giving r_n = r_n + 1

Transfer (copy)

T(m, n) (or C(m, n)) sets r_n = r_m

Jump

J(m, n, p) jumps to instruction p if r_m = r_n

Sample programs

Output

By Sean McGivern