数式が読み込まれない場合は1回再読み込みしてみてください。まとめシリーズこんにちは、ももやまです。今回はとある言語が正則かどうかを判定する練習、および正則だった場合に決定性オートマトンを書く練習、および正則でない場合に証明を書く練習をする総復習問題を作成しました。練習にお使いください。練習5(1)(2)(3)(4)(5)解答5(1)(2)(3)(4)(5)さいごに前回の記事(第07羽)はこちら!www.momoyama-usagi.com(文脈自由文法は総復習の内容には入れてないので各自で復習してください。数に関する変数が出た場合、それは0以上の整数だと思ってください。Myhill-Nerodeで証明する際に最初の定義部分は省略して書いているのでご了承ください。来るような言語で練習をしてみましょう。様々な制限がついてきます。正則か正則でないかを判定し、正則であれば最小状態決定性オートマトンを書き、正則でない場合は証明をしなさい。\]解説1正則かどうかを判定する際に大切なのが、無限に続く文字列に対し、有限個の状態でオートマトンを記述できるかどうかです。有限個の状態のオートマトン(有限オートマトン)を書くことができれば正則であるといえます。逆に無限の文字列が来ることを考えたとき、無限の状態を記憶しないと受理するどうかを判定できない場合は正則とはいえません。数を記憶させる必要があるため、正則とはいえません。