授業科目名				担当教官
オートマトンと言語				鈴木 良弥
時間割番号	単位数	コース	履修年次	期別	曜日	時限
253122	2	F	2	前期	水	I
［概要と目標］
本科目は情報科学における基礎をなし，ソフトウェア作成においても基礎的な知識として重要なものである．グラフ理論，有限オートマトン，形式言語理論，計算論を学び，ソフトウェア作成などに役立てる．
［必要知識・準備］
特になし．
［評価基準］
以下を総合して判定する． ＊ 出席 ＊ 小テスト ＊ 課題 ＊ 期末試験
［教科書］
小倉久和, 形式言語と有限オートマトン入門　　例題を中心とした情報の離散数学, コロナ社, ISBN:4-339-02339-6
［参考書］
J.ホップクロフト，J.ウルマン, オートマトン　言語理論　計算論　I, サイエンス社, ISBN:4-7819-0374-6 エフィーム・キンバー，カール・スミス, 計算論への入門　オートマトン・言語理論・チューリング機械, ピアソン・エデュケーション, ISBN:4-89471-437-X
［講義項目］
１．数学的準備　集合と写像 　　　２．数学的準備　記号論理 　　　３．帰納的表現 　　　４．形式言語 　　　５．離散グラフ 　　　６．木グラフ 　　　７．有限オートマトン 　　　８．正規表現 　　　９．チューリング機械 　　１０．形式言語理論 　　１１．文脈自由文法 　　１２．言語処理への応用 　　１３．言語処理への応用（演習） 　　１４．言語処理への応用（演習）