A Turing machine simulator