Turing machine interpreter