○種別 (必須): | □ | 工学部•夜間主 (授業概要)
| [継承] |
○入学年度 (必須): | □ | 西暦 2010年 (平成 22年)
| [継承] |
○名称 (必須): | □ | (英) Automata and Formal Languages (日) オートマトン·言語理論 (読) おーとまとん げんごりろん
| [継承] |
○形態 (不用): | 1. | 講義
| [継承] |
○コース (必須): | 1. | 2010/[徳島大学.工学部.知能情報工学科]/[夜間主コース]
| [継承] |
○担当教員 (必須): | 1. | 北 研二
| [継承] |
○単位 (必須): | □ | 2
| [継承] |
○目的 (必須): | □ | (英) (日) 情報工学,計算機科学一般において最も中心的な概念であるオートマトンと言語理論について講義し,レポート,小テストを実施して,理論と考え方を習得させる.
| [継承] |
○概要 (必須): | □ | (英) (日) 言語の有限的記述の概念から始め,言語の基本的な記述機構としてオートマトン及び形式文法を導入する. また,文法とオートマトンの関係についても説明する. 講義では,特に基本的で重要な有限オートマトンと正則文法および文脈自由文法について詳しく述べる.
| [継承] |
○キーワード (推奨): | 1. | 有限オートマトン (finite automaton)
| [継承] |
| 2. | 形式言語 (formal language)
| [継承] |
| 3. | 正則表現 (regular expression/->キーワード[正規表現])
| [継承] |
○先行科目 (推奨): | 1. | 離散数学入門 ([2010/[徳島大学.工学部.知能情報工学科]/[夜間主コース]]/->授業概要[2009/離散数学入門])
| [継承] |
○関連科目 (推奨): | 1. | 人工知能 ([2010/[徳島大学.工学部.知能情報工学科]/[夜間主コース]]/->授業概要[2009/人工知能])
| [継承] |
○要件 (任意): | □ | (英) (日) 集合に関する基本的な知識(たとえば「離散数学とグラフ理論1」) を前提とする.
| [継承] |
○注意 (任意): |
○目標 (必須): | 1. | (英) (日) 形式言語理論の考え方,特に有限オートマトンや正則表現を用いた言語 の記述について理解する.
| [継承] |
| 2. | (英) (日) 有限オートマトンの等価性,非決定性オートマトンから決定性オートマトンへの 変換,オートマトンと正則表現の間の変換などの計算ができる.
| [継承] |
○計画 (必須): | 1. | (英) (日) 基礎的な数学的準備,言語とその表現
| [継承] |
| 2. | (英) (日) 順序機械
| [継承] |
| 3. | (英) (日) 有限オートマトンと正則言語
| [継承] |
| 4. | (英) (日) 有限オートマトンの等価性
| [継承] |
| 5. | (英) (日) 有限オートマトンの最簡形
| [継承] |
| 6. | (英) (日) 非決定性有限オートマトン
| [継承] |
| 7. | (英) (日) 部分集合構成法
| [継承] |
| 8. | (英) (日) ϵ動作を持つ有限オートマトン
| [継承] |
| 9. | (英) (日) 言語演算
| [継承] |
| 10. | (英) (日) 正則表現1
| [継承] |
| 11. | (英) (日) 正則表現2
| [継承] |
| 12. | (英) (日) 言語族の閉包性
| [継承] |
| 13. | (英) (日) 形式文法1
| [継承] |
| 14. | (英) (日) 形式文法2
| [継承] |
| 15. | (英) (日) 演習
| [継承] |
| 16. | (英) (日) 定期試験
| [継承] |
○評価 (必須): | □ | (英) (日) 最終試験の成績による.
| [継承] |
○対象学生 (任意): | □ | 開講コース学生のみ履修可能
| [継承] |
○教科書 (必須): | 1. | (英) (日) 富田悦次·横森 貴 著「オートマトン·言語理論」森北出版
| [継承] |
○参考資料 (推奨): | 1. | (英) (日) ホップクロフト·ウルマン 著「オートマトン·言語理論·計算論I」サイエンス社
| [継承] |
○URL (任意): |
○連絡先 (推奨): | 1. | 北 研二
○オフィスアワー (任意): | □ | (英) Tuesday 12:50 - 14:20 (日) 火曜日 12:50 - 14:20
| [継承] |
| [継承] |
○科目コード (推奨): |
○備考 (任意): | 1. | (英) (日) 毎回の予習·復習を欠かさず行うこと.
| [継承] |