授業科目名	オートマトンと言語
時間割番号	263222KA
担当教員名	鈴木 良弥
開講学期・曜日・時限	前期・水・I	単位数	2
＜対象学生＞
コンピュータ・メディア工学科以外
＜授業の目的および概要＞
本科目は情報科学における基礎をなし，ソフトウェア作成においても基礎的な知識として重要なものである．グラフ理論，有限オートマトン，形式言語理論，計算論を学び，ソフトウェア作成などに役立てる．
＜授業の方法＞
毎回簡単な演習を行う． 授業資料はWebで公開する． 中間試験，期末試験の解答例をWebで公開する．
＜成績評価の方法＞
以下を総合して判定する． ・演習問題 ・中間試験（進度により行わないことがある） ・期末試験
＜受講に際して・学生へのメッセージ＞
他学科の学生にも理解しやすい授業を目指します．
＜テキスト＞
形式言語と有限オートマトン入門　　例題を中心とした情報の離散数学, コロナ社, ISBN:4339023396
＜参考書＞
(未登録)
＜授業計画の概要＞
１．数学的準備（集合と写像　記号論理），帰納的表現 　　　２．形式言語 　　　３．離散グラフ 　　　４．木グラフ 　　　５．有限オートマトン１ 　　　６．有限オートマトン２ 　　　７．正規表現１ 　　　８．正規表現２ 　　　９．中間試験 　　１０．有限オートマトンの最小化 　　１１．プッシュダウンオートマトン 　　１２．チューリング機械 　　１３．形式言語理論 　　１４．文脈自由文法