A turing machine simulator