言語理論（A Basis for Computer Science）[4269]

＜授業のねらい及び具体的な達成目標＞

本講義では、形式言語とオートマトンについて学ぶ。
形式言語とオートマトンは計算機に関連する最も基本的な概念である。
本講義では、形式言語とオートマトンの基本的性質を理解することを目標とする。

＜授業計画＞

１．オートマトンと言語
２．順序機械
３．有限オートマトンと正則言語
４．等価性判定アルゴリズム
５．非決定性有限オートマトン
６．正則表現
７．形式文法
８．正則文法
９．脈自由文法
１０．プッシュダウンオートマトン
１１．所属問題と構文解析
１２．チューリング機械
１３．チューリング機械と計算量
１４．定期試験

＜成績評価方法及び水準＞

原則として期末テストで評価する。
６０点以上を合格とする。

＜教科書＞

計算理論とオートマトン言語理論：丸岡章（サイエンス社）

＜参考書＞

オートマトン・言語理論：富田悦次，横森貴共著（森北出版）
オートマン・言語理論：　計算論IJJ．ホップクロフト，J．ウルマン共著（サイエンス社〉
形式言語とオートマトン：守屋悦朗著、サイエンス社

＜オフィスアワー＞

木曜日9:00〜9:20，八王子講師控室、質問は講義時間中にも受け付ける。

このページの著作権は学校法人工学院大学が有しています。 Copyright(c)2006 Kogakuin University. All Rights Reserved.