結果 : non deterministic turing machine example