caml-urm

A OCaml module for manipulating unlimited register machines

factorial.urm (159B)

 1 Z(2)
 2 S(2)
 3 Z(5)
 4 S(5)
 5 Z(6)
 6 J(1, 6, 22)
 7 J(5, 2, 10)
 8 S(5)
 9 J(1, 1, 7)
10 Z(3)
11 S(3)
12 J(3, 1, 20)
13 Z(4)
14 J(4, 5, 18)
15 S(2)
16 S(4)
17 J(1, 1, 14)
18 S(3)
19 J(1, 1, 12)
20 P(1)
21 J(1, 1, 6)