10.DFA(決定性オートマトン) での方法の問題点 12.遅延遷移評価 目次