A OCaml module for manipulating unlimited register machines
1 Z(3) 2 Z(4) 3 J(2, 3, 8) 4 J(1, 4, 10) 5 S(3) 6 S(4) 7 J(1, 1, 3) 8 Z(3) 9 J(1, 1, 3)