Turing machine example