Turing machine examples