授業概要: 2006/オートマトン·言語理論
ヘルプを読む
「授業概要」(授業概要のリスト)は,授業の概要を登録するテーブルです. (この情報が属するテーブルの詳細な定義を見る)
- 項目名の部分にマウスカーソルを置いて少し待つと,項目の簡単な説明がツールチップ表示されます.
この情報をEDB閲覧画面で開く
- EID
- 126055
- EOID
- 499099
- Map
- 0
- LastModified
- 2010年1月5日(火) 14:10:15
- Operator
- 大家 隆弘
- Avail
- TRUE
- Censor
- 0
- Owner
- [教務委員会委員]/[徳島大学.工学部.知能情報工学科]
- Read
- 継承
- Write
- 継承
- Delete
- 継承
|
種別 |
必須 |
工学部•夜間主 (授業概要) |
入学年度 |
必須 |
西暦 2006年 (平成 18年) |
名称 |
必須 |
(英) Automata and Formal Languages / (日) オートマトン·言語理論 / (読) おーとまとん げんごりろん
|
形態 |
不用 |
- 講義
|
コース |
必須 |
- 2006/[徳島大学.工学部.知能情報工学科]/[夜間主コース]
|
担当教員 |
必須 |
- 北 研二
|
単位 |
必須 |
2 |
目的 |
必須 |
(日) 情報工学,計算機科学一般において最も中心的な概念であるオートマトンと言語理論について講義し,レポート,小テストを実施して,理論と考え方を習得させる.
|
概要 |
必須 |
(日) 言語の有限的記述の概念から始め,言語の基本的な記述機構としてオートマトン及び形式文法を導入する. また,文法とオートマトンの関係についても説明する. 講義では,特に基本的で重要な有限オートマトンと正則文法および文脈自由文法について詳しく述べる.
|
キーワード |
推奨 |
- 有限オートマトン(finite automaton)
- 形式言語(formal language)
- 正則表現(regular expression/->キーワード[正規表現])
|
先行科目 |
推奨 |
- 離散数学入門([2006/[徳島大学.工学部.知能情報工学科]/[夜間主コース]])
|
関連科目 |
推奨 |
- 人工知能([2006/[徳島大学.工学部.知能情報工学科]/[夜間主コース]])
|
要件 |
任意 |
(日) 集合に関する基本的な知識(たとえば「離散数学とグラフ理論1」) を前提とする.
|
注意 |
任意 |
|
目標 |
必須 |
(日) 形式言語理論の考え方,特に有限オートマトンや正則表現を用いた言語 の記述について理解する.
(日) 有限オートマトンの等価性,非決定性オートマトンから決定性オートマトンへの 変換,オートマトンと正則表現の間の変換などの計算ができる.
|
計画 |
必須 |
(日) 基礎的な数学的準備,言語とその表現
(日) 順序機械
(日) 有限オートマトンと正則言語
(日) 有限オートマトンの等価性
(日) 有限オートマトンの最簡形
(日) 非決定性有限オートマトン
(日) 部分集合構成法
(日) ϵ動作を持つ有限オートマトン
(日) 言語演算
(日) 正則表現1
(日) 正則表現2
(日) 言語族の閉包性
(日) 形式文法1
(日) 形式文法2
(日) 予備日
(日) 定期試験
|
評価 |
必須 |
(日) 受講姿勢,レポートの提出状況と内容,小テスト及び最終試験の成績を総合して行う.
|
対象学生 |
任意 |
開講コース学生のみ履修可能 |
教科書 |
必須 |
(日) 富田悦次·横森 貴 著「オートマトン·言語理論」森北出版
|
参考資料 |
推奨 |
(日) ホップクロフト·ウルマン 著「オートマトン·言語理論·計算論I」サイエンス社
|
URL |
任意 |
|
連絡先 |
推奨 |
- 北 研二
オフィスアワー |
任意 |
(英) Monday 18:00 - 19:30
(日) 月曜日 18:00 - 19:30
|
|
科目コード |
推奨 |
|
備考 |
任意 |
(日) 毎回の予習·復習を欠かさず行うこと. 随時,レポート及び小テストを実施する.
(日) 成績評価に対する平常点と試験の比率は4:6とする. 平常点には受講姿勢,レポートの提出状況と内容を含み,試験には小テスト及び最終試験の成績を含む.
|