caml-urm

A OCaml module for manipulating unlimited register machines

NameSizeMode
..
examples/fibonacci.urm 144B -rw-r--r--
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
Z(2)
Z(3)
S(3)
Z(4)
Z(5)
J(1, 5, 19)
P(1)
J(4, 2, 11)
S(4)
J(1, 1, 8)
J(2, 3, 14)
S(2)
J(1, 1, 11)
J(4, 5, 18)
P(4)
S(3)
J(1, 1, 14)
J(1, 1, 6)