2019年 理工学部 シラバス - 応用情報工学科
設置情報
| 科目名 | オートマトン | ||
|---|---|---|---|
| 設置学科 | 応用情報工学科 | 学年 | 4年 |
| 担当者 | 高橋 聖 | 履修期 | 前期 |
| 単位 | 2 | 曜日時限 | 月曜3 |
| 校舎 | 船橋 | 時間割CD | K13C |
| クラス | |||
| ポリシー | ディプロマ・ポリシー【DP】 カリキュラム・ポリシー【CP】 | ||
| 履修系統図 | 履修系統図の確認 | ||
概要
| 学修到達目標 | 形式言語理論とオートマトン理論を，言語の定義から始めて，有限オートマトン，文脈自由文法，チューリングマシンの部分を中心に習得することができる。 |
|---|---|
| 授業形態及び 授業方法 |
授業は，プロジェクタと板書を併用して行う。適宜，演習・課題を課す。 |
| 履修条件 | 特になし。 |
授業計画
| 第1回 | 基礎的な数学的準備 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
|---|---|
| 第2回 | アルファベットと言語 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第3回 | 言語の表現 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第4回 | 文法の概念と型 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第5回 | 文脈依存文法における帰納性 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第6回 | 文脈自由文法における導出木 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第7回 | 有限オートマトン 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第8回 | 非決定性有限オートマトン 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第9回 | 3型文法の性質 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第10回 | 2方向有限オートマトン 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第11回 | 文脈自由文法の簡約化 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第12回 | 文脈自由文法の標準形定理 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第13回 | uvwxy定理 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第14回 | Turing機械 【事前学習】事前配布資料に目を通し、疑問点をまとめておくこと。（120分） 【事後学習】講義の内容を復習し、関連事項をさらに調べて各自の考えを整理すること。（120分） |
| 第15回 | 理解度確認テスト及びその解説 【事前学習】これまでに配布した資料を基に復習してくること。（210分） 【事後学習】理解度確認テストで出題された項目を復習すること。（30分） |
その他
| 教科書 |
広瀬貞樹 『オートマトン・形式言語理論』 コロナ社 2014年 第1版
|
|---|---|
| 参考書 | |
| 成績評価の方法 及び基準 |
出席を前提に，演習・課題（10%），理解度確認テスト（90%）による評価 |
| 質問への対応 | 随時受け付けるが，事前にメールでアポイントをとるのが望ましい。 |
| 研究室又は 連絡先 |
高橋聖(船橋校舎2号館245室，takahashi.sei＠nihon-u.ac.jp) |
| オフィスアワー |
月曜 船橋 12:10 ～ 13:10
|
| 学生への メッセージ |
意欲を持って取り組んでいただきたい。 |