授業科目名	オートマトンと言語
時間割番号	253122KA
担当教官名	鈴木 良弥
開講学期・曜日・時限	前期・水・I	単位数	2
＜対象学生＞
情報科学に興味を持っている学生
＜授業の目的および概要＞
本科目は情報科学における基礎をなし，ソフトウェア作成においても基礎的な知識として重要なものである．グラフ理論，有限オートマトン，形式言語理論，計算論を学び，ソフトウェア作成などに役立てる．
＜授業の方法＞
指定した教科書「形式言語と有限オートマトン入門」に沿って授業を行う． 練習問題を解くことで理解を深める． 理解度を確認するために小テストを行う．
＜成績評価の方法＞
以下を総合して判定する． ＊ 出席 ＊ 小テスト ＊ 課題 ＊ 期末試験
＜受講に際して・学生へのメッセージ＞
わかりやすい授業を心掛けます．
＜テキスト＞
小倉久和, 形式言語と有限オートマトン入門　　例題を中心とした情報の離散数学, コロナ社, ISBN:4-339-02339-6
＜参考書＞
J.ホップクロフト，J.ウルマン, オートマトン　言語理論　計算論　I, サイエンス社, ISBN:4-7819-0374-6 エフィーム・キンバー，カール・スミス, 計算論への入門　オートマトン・言語理論・チューリング機械, ピアソン・エデュケーション, ISBN:4-89471-437-X
＜授業計画の概要＞
１．数学的準備　集合と写像 　　　２．数学的準備　記号論理 　　　３．帰納的表現 　　　４．形式言語 　　　５．離散グラフ 　　　６．木グラフ 　　　７．有限オートマトン 　　　８．正規表現 　　　９．チューリング機械 　　１０．形式言語理論 　　１１．文脈自由文法 　　１２．言語処理への応用 　　１３．言語処理への応用（演習） 　　１４．言語処理への応用（演習）