An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.