徳島大学 教育・研究者情報データベース(EDB)

Education and Research Database (EDB), Tokushima University

徳島大学ウェブサイトへのリンク

授業概要: 2001/オートマトン·言語理論1

ヘルプを読む

「授業概要」(授業概要のリスト)は,授業の概要を登録するテーブルです. (この情報が属するテーブルの詳細な定義を見る)

  • 項目名の部分にマウスカーソルを置いて少し待つと,項目の簡単な説明がツールチップ表示されます.

この情報をEDB閲覧画面で開く

EID
14700
EOID
376391
Map
[2000/オートマトン·言語理論1]
LastModified
2007年12月28日(金) 15:59:06
Operator
大家 隆弘
Avail
TRUE
Censor
0
Owner
[教務委員会委員]/[徳島大学.工学部.知能情報工学科]
Read
継承
Write
継承
Delete
継承
種別 必須 工学部•夜間主 (授業概要)
入学年度 必須 西暦 2001年 (平成 13年)
名称 必須 (英) Automata and Formal Languages 1 / (日) オートマトン·言語理論1 / (読) おーとまとん げんごりろん
コース 必須
  1. 2001/[徳島大学.工学部.知能情報工学科]/[夜間主コース]
担当教員 必須
  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. (日) 毎回の予習·復習を欠かさず行うこと. 随時,レポート及び小テストを実施する.

  2. (日) 成績評価に対する平常点と試験の比率は4:6とする. 平常点には出席状況,レポートの提出状況と内容を含み,試験には小テスト及び最終試験の成績を含む.

この色で表示されている項目はマップによって参照された内容です