Numbering Code	G-HUM34 5D018 LJ10	Year/Term	2022 ・ First semester
Number of Credits	2	Course Type	Lecture
Target Year		Target Student
Language	Japanese	Day/Period	Wed.2
Instructor name	TSUIKI HIDEKI (Graduate School of Human and Environmental Studies Professor)
Outline and Purpose of the Course	オートマトンやプッシュダウンオートマトンといった計算モデルと，それを用いて行える計算，具体的には，正規表現や文脈自由文法といった形式文法で定義できる言語との関係について講義と演習を行う。その中で，計算モデルや言語の数学的な取り扱い方法を身につけるとともに，木構造や繰り返し構造などの情報処理に基本的なデータ構造の表現とその処理方法について学ぶ。
Course Goals	各種オートマトンと形式言語の関係について理解するとともに，文字列や再帰的に定義された構造を数学的に扱う手法を身につける。
Schedule and Contents	<2年に1回の開講> 基本的に以下のプランに従って講義と演習を進める。演習は2回に1回程度行い，時間中に解いてもらって解説を行い，残った問題は次の時間にレポートとして提出してもらう。講義の進み具合、演習を入れるタイミングなどに応じて順序や同一テーマの回数を変えることがある。 第1回　　各種計算モデルとそれらの計算能力について概説 第2回　　有限機械について 第3回　　オートマトンについて 第4回　　オートマトンの限界について 第5回　　正規表現について 第6回　　非決定性オートマトンについて 第7回　　正規表現とオートマトン受理の関係について 第8回　　Myhill-Nerode の定理とオートマトンの最小化について 第9回　　文脈自由言語について 第10回　　文脈自由文法と構文木について 第11回　　プッシュダウンオートマトンについて 第12回　　文脈自由文法の正規形について 第13回　　文脈自由言語とプッシュダウンオートマトンの関係について 第14回　　言語処理への応用について 第15回　　フィードバック
Evaluation Methods and Policy	時間中に行う演習や、レポートにより評価する。
Course Requirements	None
Study outside of Class (preparation and review)	宿題が出された時には、解いてくること。 積み重ねなので、適宜復習をして、学んだことを自分のものにすること
Textbooks	Textbooks/References	授業中にプリントを配る
References, etc.	オートマトンと言語, Michael Sipser, (共立出版)