Explanation about turing machine results