caml-urm

A OCaml module for manipulating unlimited register machines

File Name Size Mode
mod.urm 70B -rw-r--r-- 
 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)