（実施回/
Week）
|
（内容/
Contents）
|
（授業時間外の学習/
Assignments）
|
|
（実施回/ Week）
1
|
（内容/ Contents）
講義の進め方，オートマトンと言語理論，数学的準備
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
2
|
（内容/ Contents）
決定性有限オートマトン(Deterministic Finite Automaton: DFA)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
3
|
（内容/ Contents）
非決定性有限オートマトン(Nondeterministic Finite Automaton: NFA)(1)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
4
|
（内容/ Contents）
非決定性有限オートマトン(Nondeterministic Finite Automaton: NFA)(2)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
5
|
（内容/ Contents）
正規表現(Regular Expression: RE)と正規言語(Regular Language: RL)(1)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
6
|
（内容/ Contents）
正規表現(Regular Expression: RE)と正規言語(Regular Language: RL)(2)
|
（授業時間外の学習/ Assignments）
これまでの講義の総復習（2時間）
|
|
（実施回/ Week）
7
|
（内容/ Contents）
中間評価
|
（授業時間外の学習/ Assignments）
中間評価の復習
|
|
（実施回/ Week）
8
|
（内容/ Contents）
形式文法(Formal Grammar: FG)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
9
|
（内容/ Contents）
文脈自由文法(Context Free Grammar: CFG)と文脈自由言語(Context Free Language: CFL)
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
10
|
（内容/ Contents）
プッシュダウンオートマトン(Push Down Automaton: PDA)とCFG
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
11
|
（内容/ Contents）
CFGの標準形
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
12
|
（内容/ Contents）
CFGの解析法(1)：下向き解析
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
13
|
（内容/ Contents）
CFGの解析法(2)：上向き解析
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
14
|
（内容/ Contents）
チューリングマシン(Turing Machine)と計算可能性，停止問題，Chomskyの言語階層
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
|
（実施回/ Week）
15
|
（内容/ Contents）
オートマトンと形式言語の関係，まとめ
|
（授業時間外の学習/ Assignments）
講義の復習（1時間）
次回講義の予習（1時間）
|
