Turing machine simulator