授業科目名	形式言語とオートマトン Formal Langurage and Automata	時間割番号	6627
担当教員名	伊藤　嘉浩	実務経験反映科目
学科・年次	工学部情報工学科工学部創造工学教育課程 2年次
科目区分	専門教育科目	単位数	2
時間割	後期月曜5-6限	授業形態	講義
授業実施方法	☑ 対面【一部遠隔の場合あり】 ☐ 全て遠隔【全授業（テストを除く）をオンデマンドで実施（全オンデマンド型）】 ☐ 全て遠隔【同時双方向で実施】 ☐ 全て遠隔【オンデマンド及び同時双方向で実施】 ☐ 1/2遠隔【全授業のうち、1/2以上を遠隔（オンデマンド又は同時双方向）】・「全て遠隔」又は「1/2遠隔」に✓のある科目は、遠隔授業の上限単位数60単位に算定されます。・大学院には遠隔授業における上限単位数はありません。
ディプロマ・ポリシーとの対応 ☐ 1. 人間，文化，社会を理解し，それらを技術的観点から考察する能力と技術を新しい生活につなぐ強い使命感・責任感，高い倫理観 ☑ 2. 現象の理解・操作のための数理的基礎知識と科学的素養 ☐ 3. 国内外の人々と対話できるコミュニケーション力と論理的思考力 ☑ 4. （高度工学教育課程のみ）基幹となる専門分野の基盤的な知識・技術とこれによって課題を解決する能力，新たな知識・技術を習得する能力 ☑ 4. （創造工学教育課程のみ）基幹となる専門分野の基礎知識と他の分野の知識・技術を関連づけ多面的に見ることで新たな価値を創出する能力
授業の目的・達成目標授業の目的：抽象的な計算装置であるオートマトンと形式的な文法により構成される形式言語の間には密接な関係があり、両者は計算機科学の基礎となっている。これらを理解し、言語処理工学、コンパイラ設計、計算の理論への応用につなげる。達成目標：オートマトンの考え方および基本的な構成方法について理解する。プッシュダウンオートマトンやチューリング機械について、有限オートマトンとの違いや記述範囲の限界を理解し、動作の解釈や構築法を習得する。形式言語の考え方と基本的な形式文法の読み方について理解する。形式言語のクラスと形式文法・オートマトンとの関係を理解し、相互変換の方法を習得する。授業計画 ① オートマトンの基礎 ② オートマトンと言語理論の解説 ③ 有限オートマトン ④ オートマトンの発展 ⑤ プッシュダウンオートマトン（PDA) ⑥ チューリング機械（TM） ⑦ 中間試験とその解説 ⑧ 形式文法と形式言語,正規文法 ⑨ 文脈自由文法 ⑩ 文脈依存文法 ⑪ 句構造文法 ⑫ オートマトンと形式文法の関係 ⑬ オートマトンと形式文法の関係 ⑭ 言語の階層構造 ⑮ 言語の階層構造 ⑯ 期末試験成績評価の方法小演習・レポート（３０点）、中間試験・期末試験（７０点）により評価する。成績評価の基準秀　達成目標を超えた成果を上げている　100点～90点優　達成目標に十分達している　　　　　89点～80点良　達成目標に達している　　　　　　　79点～70点可　達成目標に概ね達している　　　　　69点～60点不可達成目標に達していない　　　　　　59点以下事前・事後学修等の指示及び履修にあたっての注意事項適宜Moodleを確認のこと授業は教科書の内容に沿って、スライドを用いて進められる。対応する教科書の範囲を予習しておくこと。講義でスライドの印刷・配布は行わないので、必要であれば各自ダウンロード・印刷をしておくこと(120分）。授業後にレポートを作成し提出すること（120分）中間試験を含めて出席が１２回に満たないものは総合演習を受講できない。教科書「オートマトン・言語理論の基礎」　米田正明　監修（近代科学社）参考書形式言語とオートマトン」守屋悦朗　著（サイエンス社）オフィスアワー月曜日３，４時限とする。メールでの連絡先： yoshi@nitech.ac.jp