simple turing machine