計算理論あんまり分かってなくてテストで破滅しそうなので、勉強すべきところはどこかをまず見ておく(あと一週間後)。前回はCFLに関してのパンピングレンマだったが、あんまり覚えてない。第一部でやったことの一般化になっているらしい。一般化になっているかはまだ分からないけど。ビデオアーカイブを見直しつつ、過去問を見つつ、できるようになっておかないと死亡なトピックをまとめておく。スライドのp51からp63に。任意のDFAから、それと等価で状態数が最小のDFAを求める手法。計算機の設計とかで使われるので、重要。全て正則言語である、というのを示すのがメインテーマ。正則表現に現われる演算子の数に関する帰納法で示す。演算に関して閉じているということを示した。これによりなかなかうれしい性質が得られる。証明のところでは、(NFAではなく)DFAの性質を使っているところがあったりもする。決定性有限オートマトンの出力が複数の状態を許したようなものが非決定性有限オートマトンという感じだが、非決定性有限オートマトンも正則言語(決定性有限オートマトンによりacceptされる言語、だったはず)であるらしい。気にしてないけど、一番危なさそうと言えばこの授業かも。DFAが受理する語を求めよ的な問題がいくつかあったんだけど、漏れがありまくりでほとんど間違っていた。(1)スターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。