係は計算機をお守りする係になりました。id:smlyさん、id:tettsyunさんとかにおそわりながら仕事を覚えていきたいと思います。仕事は大きいところだと停電前後らしく、その辺でOSのアップデートとかやるらしい(不定期でも色々ありそうだけど)。松本研は計算…

この前の続き。 DFAが受理する言語 NFAが受理する言語 正則表現が表す言語 は全て正則言語である、というのを示すのがメインテーマ。正則表現 => NFAの証明。正則表現に現われる演算子の数に関する帰納法で示す。分解していって、一個少ないから帰納法の仮定…