形式言語理論 (Formal Language Theory)　　月曜日２時限

担当:　竹田正幸（大学院システム情報科学研究院）

教科書:　J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Lnauages and Computation
　　　　　 (邦訳：オートマトン　言語理論　計算論 I，サイエンス社)


講義予定と講義資料（変更することがあります）
2019.04.08第０回 イントロダクション 　
2019.04.15第１回 有限オートマトン 　
2019.04.22第２回 ε遷移を含む有限オートマトン 　
2019.05.13第３回 正規表現 　
2019.05.20第４回 出力付き有限オートマトン 　
2019.05.27第５回 正規言語に対する反復補題 　
2019.06.03第６回 正規言語の閉性 　
2019.06.10第７回 正規言語に対する決定手続き，Myhill-Nerodeの定理 　
2019.06.17第８回 有限オートマトンの最小化 　
2019.06.24第９回 文脈自由文法・導出木・正規文法 　
2019.07.01第10回 標準形 　
2019.07.08第11回 プッシュダウンオートマトン 　
2019.07.16第12回 文脈自由言語の性質 　
2019.07.22第13回 句構造文法とChomsky階層, まとめ