turing machine in common lisp