『徳島大学 教育・研究者情報データベース (EDB)』---[学外] /
ID: Pass:

登録内容 (EID=149893)

EID=149893EID:149893, Map:[2006/オートマトン·言語理論], LastModified:2007年12月26日(水) 20:38:33, Operator:[大家 隆弘], Avail:TRUE, Censor:0, Owner:[[教務委員会委員]/[徳島大学.工学部.知能情報工学科]], Read:継承, Write:継承, Delete:継承.
種別 (必須): 工学部•昼間 (授業概要) [継承]
入学年度 (必須): 西暦 2007年 (平成 19年) [継承]
名称 (必須): (英) Automata and Formal Languages (日) オートマトン·言語理論 (読) おーとまとん げんごりろん
[継承]
形態 (不用): 1.講義 [継承]
コース (必須): 1.2007/[徳島大学.工学部.知能情報工学科]/[昼間コース] [継承]
担当教員 (必須): 1.北 研二 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
肩書 (任意):
[継承]
単位 (必須): 2 [継承]
目的 (必須): (英)   (日) 情報工学,計算機科学一般において最も中心的な概念であるオートマトンと言語理論について講義し,レポート,小テストを実施して,理論と考え方を習得させる.   [継承]
概要 (必須): (英)   (日) 言語の有限的記述の概念から始め,言語の基本的な記述機構としてオートマトン及び形式文法を導入する. また,文法とオートマトンの関係についても説明する. 講義では,特に基本的で重要な有限オートマトンと正則文法および文脈自由文法について詳しく述べる.   [継承]
キーワード (推奨): 1.有限オートマトン (finite automaton) [継承]
2.形式言語 (formal language) [継承]
3.正則表現 (regular expression/->キーワード[正規表現]) [継承]
先行科目 (推奨): 1.離散数学とグラフ理論1 ([2007/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2006/離散数学とグラフ理論1])
必要度 (任意):
[継承]
関連科目 (推奨): 1.言語工学1 ([2007/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2006/言語工学1])
関連度 (任意):
[継承]
要件 (任意): (英)   (日) 集合に関する基本的な知識(たとえば「離散数学とグラフ理論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/オートマトン·言語理論)
    )で編集を行なってください.
  • マップ先の記述は変更せずこの情報のみを変更する場合.
    →この頁で編集を行なってください.
    [注意] 編集画面では,マップによる参照によって得た内容は表示されません.
    [注意] 参照は同じ名前の項目がある場合に行なわれます.
    [注意] 項目を無記入にすると参照が行なわれ,それ以外には参照が行なわれません.(項目単位)

この情報を取り巻くマップ

閲覧 【授業概要】(2006/オートマトン·言語理論) 閲覧 【授業概要】(2007/オートマトン·言語理論) 閲覧 【授業概要】(2008/オートマトン·言語理論)

標準的な表示

和文冊子 ● オートマトン·言語理論 / Automata and Formal Languages
欧文冊子 ● Automata and Formal Languages / オートマトン·言語理論

関連情報

この情報を参照している情報

閲覧【教育プログラム】…(2) 閲覧【授業概要】…(6) 閲覧【担当授業】…(2)

この情報をマップしている情報

閲覧【授業概要】…(2)
Number of session users = 6, LA = 0.83, Max(EID) = 372614, Max(EOID) = 996873.