結果 : turing machine example problem