形式言語とオートマトン２０1０
授業で使った資料や勉強に役立つ情報を記載します。
知的財産権等に注意を払いながら、有効に活用してください。
- 初日（4月20日） 配布資料 ppt
- 第２日目(4月27日) 配布資料 ppt
- 有限オートマトン
- 決定性有限オートマトン
- 非決定性有限オートマトン
- ε-非決定性有限オートマトン
- 第３日目（5月11日） 配布資料 ppt
- 復習
- 正規表現
- 正規表現を有限オートマトンで表現する
- Myhill-Nerodeの定理(紹介だけ。詳細は後日やります。難しいです！)
- 第４日目（5月18日） 配布資料 ppt
- 第５日目(5月15日) ここまでの演習
- 第６日目(6月1日) 配布資料
- 簡単な復習
- FAの様相について
- PDA ＜＝ 今日の本題
- 第７日目(6月8日) 配布資料
- 簡単な復習
- Turing Machine (チューリングマシン)
- 第８日目(6月15日) 配布資料
- Myhill-Nerodeの定理
- その他(Pumping lemma)
- 第９日目(6月22日) 配布資料
- 第10日目(6月29日) 配布資料
- 文脈自由言語
- 曖昧性
- 標準形
- その他（埋め込み性など）
- 第11日目(7月6日) 講義資料
- ここまでのまとめ
- 練習をしましょう！（Chomskyの標準形）
- 第12日目(7月13日)
- 計算について
- 各種形式文法について
- 練習をしましょう！
- 第13日目(7月20日)
- 第14日目(7月27日） 休講
（以下、昨年度の実施状況です！）
- 第５日目（5月25日）
- 第６日目（6月1日）
- 第７日目（6月8日）
- 第８日目（6月15日）(授業あります!)
- 第９日目（6月22日）
- 配布資料 ppt
以下の項目は後日説明します！
- 数学的準備
- 集合・対応・写像（教科書pp.21-26）
- 個数の数え方（１対１写像の存在）
- Cantorの対角線論法（教科書pp.207-208）
- 有限と無限
- 自然数・整数・有理数の個数と実数の個数の比較
- 第10日目（6月29日） 配布資料 ppt
- 文法(言語)の曖昧性
- cfgの標準形
- 構文解析プログラム例
- ポンプの定理の証明 など
- 第11日目（7月6日）
- 配布資料(準備中)
- Prologによる構文解析プログラム
- Progolによる文法獲得 など
- 第12日目（7月13日）配布資料 ppt
- 第13日目（7月20日）（最終日）
- 第14日目（7月27日）（申し訳ありませんが休講です。レポート課題の予定）
- 学期末定期試験
- 実施予定日8月XX日２限?
- 今年の問題も難しいです。論述が中心になります。
例：言語とオートマトンの関係について知るところを1000字程度で述べよ。
試験対策問題集
参考資料等（作成途中）