結果 : example of non deterministic turing machine