(* Busy beaver 
   For three states, alphabet of 0,1.
*)

val busybeaver = Program
  [Command ((State 1,   One), SOME (  One, State 3, Left)),
   Command ((State 1, Blank), SOME (  One, State 2, Right)),
   Command ((State 2,   One), SOME (  One, State 2, Right)),
   Command ((State 2, Blank), SOME (  One, State 1, Left)),
   Command ((State 3,   One), NONE),
   Command ((State 3, Blank), SOME (  One, State 2, Left))]

				  
val tape3 = Tape ([],[]) : Tape

(* some Turing machines for testing *)

val machine = Machine (busybeaver, State 1, tape3)