結果 : halting problem of turing machine example