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