木曜10:20-11:50 2024年度

3年生 前期

形式言語とオートマトン

10号館224室 (定員183)

第01回講義  4/11 言語 Note 1 (844kB) クイズ01

第02回講義  4/18 オートマトン Note 2 (1.5MB) クイズ02

第03回講義  4/25 オートマトン(つづき) Note 2 (1.5MB) クイズ03     

5/2 おやすみ

第04回講義  5/9 正規表現 Note 3(1007kB)       クイズ04         

第--回講義   5/16  休講。すみません。

第05回講義  5/23 正規表現 (つづき) Note 3 (1007kB) クイズ05    

第06回講義  5/30 正規表現 (つづき) ポンプの定理 Note 3 (1007kB) クイズ06     

第07回講義  6/06 文脈自由言語(CFL) Note 4 (1176kB)クイズ7    

第08回講義  6/13 つづき Note 4 (1176kB)クイズ8  

第09回講義  6/20  チューリング機械(TM) Note 5 (828kB)     クイズ9        クイズ回答集     

第10回講義 6/27  オートマトンの応用例 文字列アルゴリズム   Note 6(866kB)クイズ10   

第11回講義  7/04つづき       Note 6(866kB) クイズ11      

第12回講義 7/11 10:20-11:05          試験             

第13回講義 7/18 試験の解説 および 合否発表    クイズ13

授業改善アンケートに協力願います 下記は2023年度の日程

     回答期間7月3日(月)~8月31日(木)

       回答方法】教務システムの「アンケート回答」の項目から回答

第14回講義 7/25    演習   Note 7 (1446kB)    クイズ14 

第15回講義8/01  試験予定


参考資料 CS 2013の59pageから 60pageまで

情報科学全体の世界標準カリキュラムの資料 


ANSI C Yacc grammar


参考書:形式言語とオートマトン, 守屋著, サイエンス社

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点にわずかに足りない者に対しては、

不定期に行なう小テストの内容と授業への(最初から最後まで遅刻早退なしの)参加回数を加味することがある。

2024年度前期   履修60人                 (人文2   データ4     計算機51 理工2       教育1)

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