Turing

Pavel Naumov's Turing Machine defs.
Also see his own format for listing at OLD
See creation_script.lisp