This project is about implementing Turing Machine as described in Alan Turing’s famous paper " On Computable Numbers, With An Application To The Entscheidungsproblem ".
(Note: Charles Petzold’s book The Annotated Turing is a good point to understand Turing’s paper.)
The first implementation is with Clojure . Refer to corresponding folder for more detail. The next target might be an iOS implementation with fancy GUI.