planning out Turing machine interpreter