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