結果 : explain non deterministic turing machine