木曜10:20-11:50 2025年度
3年生 前期
形式言語とオートマトン
10号館224室 (定員183)
前期授業開始 4/9
履修登録4/9~22
※5/1(火曜日の授業)
補講日7/18,30
前期期末試験7/31~8/6
10号館224室 (定員183)
前期授業開始 4/9
履修登録4/9~22
※5/1(火曜日の授業)
補講日7/18,30
前期期末試験7/31~8/6
第01回講義 4/10言語 Note 1 (844kB) 理解確認クイズ01
第02回講義 4/17 オートマトン Note 2 (1.5MB) 理解確認クイズ02
第03回講義 4/24 オートマトン(つづき) Note 2 (1.5MB) 理解認識クイズ03
5/1 荒牧キャンパスは 火曜の授業の日
第04回講義 5/8 正規表現 Note 3(1007kB) 理解確認 クイズ04
第05回講義 5/15 正規表現 (つづき) Note 3 (1007kB) 理解確認クイズ05
第06回講義 5/22 正規表現 (つづき) ポンプの定理 Note 3 (1007kB) 理解認識 クイズ06
第07回講義 5/29 文脈自由言語(CFL) Note 4 (1176kB) 理解認識 資料p22の(1)とp27の(2)を解いてください
第08回講義 6/05 つづき Note 4 (1176kB) 理解確認 クイズ8
第09回講義 6/12 チューリング機械(TM) Note 5 (828kB) クイズ9 回答集2024 回答集2025
第10回講義 6/19 オートマトンの応用例 文字列アルゴリズム Note 6(866kB) 理解確認クイズ10
第11回講義 6/26つづき Note 6(866kB) 理解確認クイズ11
第12回講義 7/03 10:20-11:05 試験
第13回講義 7/10 試験の解説 および 合否発表 出席確認
授業改善アンケートに協力願います 下記は本年度の予定
【回答期間】7月1日(火)~8月29日(金)
【回答方法】教務システムの「アンケート回答」の項目から回答
【対象科目】情報学部専門科目・社会情報学部専門科目 (ゼミ・卒研を除く)
第14回講義 7/17 演習 Note 7 (1446kB) クイズ14
第15回講義 7/24 予備 All Question Answered 質問のある方のみ参加
第16回講義 7/31 試験 10:20-11:05 指定された方のみ
参考資料 CS 2013の59pageから 60pageまで
CS2023 93pageあたり AL-Models: Computational Models and Formal Languages
情報科学全体の世界標準カリキュラムの資料
参考書:形式言語とオートマトン, 守屋著, サイエンス社
ISBN: 4781909906 (2001年7月発行) 定価1900円
参考書:オートマトン・言語と計算理論, 岩間著, コロナ社
ISBN: 433901821X (2003年10月発行) 定価3000円
参考書: Foundations of Computer Science, Aho他著, W H Freeman & Co
ISBN: 0716782847 (1995年01月発行) 定価$105.40
10章 Patterns, Automata, and Refular Expressions
11章 Recursive Description of Patterns
参考書: やさしいコンピュータ科学, 和田訳, アスキー出版局
ISBN 4756101585 (1993年6月発行) 定価4893円
第13章 計算不能性
成績は試験による。60点以上を合格とする。
ただし、60点にわずかに足りない者に対しては、
小テストの内容と授業への(最初から最後まで遅刻早退中抜けなしの)参加回数と内容を加味することがある。
毎回の授業の演習の時間に演習の問題を解けるようにしておくことを期待します。試験の直前に復習をしましょう。
これをさぼって、試験の直前に全部の回の演習を学びはじめても、おそらく間に合いません。
2025年度前期 (履修58 S10 A9 B17 C15 D7(欠席4回以上3 試験を受けなかった4)
(人文1 社会2 データ2 計算機54 理工1 履修60 のち取消2)
2024年度前期 履修58人 S3 A12 B14 C13 X16( うち欠席5回以上13名! )
(人文2 データ4 計算機49 理工2 教育1) (ちなみに欠席4以上でも合格6)
2023年度前期 履修53人 A30 B07 C12 X3 ここから情報学部 (うち 人文1 データ5 計算機47 )
2022年度前期 履修55 A23 B16 C16
2021年度前期 履修66 A30 B29 C4 X3
2020年度前期 履修80 S3 A12 B28 C32 X5
2019年度前期 履修71 A32 B18 C12 X9