科目情報
科目名 情報数学特論 
クラス − 
授業の概要 オートマトン、言語および計算理論について学ぶ。 
授業の到達目標 オートマトン、言語および計算理論について理解する。 
授業計画
内容
1授業全体のオリエンテーション
オートマトン (1) オートマトンとは 
2オートマトン (2) 証明 
3オートマトン (3) 中心概念 
4有限オートマトン (1) 有限オートマトンとは 
5有限オートマトン (2) 決定性有限オートマトン 
6有限オートマトン (3) 非決定性有限オートマトン 
7正則表現と正則言語 (1) 正則表現とは 
8正則表現と正則言語 (2) 有限オートマトンと正則表現 
9正則表現と正則言語 (3) 正則言語の性質 
10正則表現と正則言語 (4) オートマトンの等価性と最小性  
11文脈自由文法 (1) 基礎 
12文脈自由文法 (2) 応用 
13プッシュダウンオートマトン (1) 基礎 
14プッシュダウンオートマトン (2) 応用 
15まとめ 
 
テキスト・参考書 オートマトン 言語理論 計算論 I [第2版] J.ホップクロフト 他著 サイエンス社 
自学自習についての情報 授業の進行に従い、自学自習すべきことを適宜助言します。 
授業の形式 講義またはゼミ形式 
評価の方法(評価の配点比率と評価の要点) 授業への取り組みを総合的に評価します。 
その他(授業アンケートのコメント含む)