第１章　オートマトン：奇妙な，しかし適切な方法
1.1　オートマトン理論をなぜ学ぶのか？
1.2　形式的な証明とは
1.3　証明のいろいろ
1.4　帰納的証明
1.5　オートマトン理論の中心概念
1.6　第１章の要約
1.7　第１章の参考書

第２章　有限オートマトン
2.1　有限オートマトンの直観的な説明
2.2　決定性有限オートマトン
2.3　非決定性有限オートマトン
2.4　応用：テキスト検索
2.5　ε−動作を含む有限オートマトン
2.6　第２章の要約
2.7　第２章の参考文献

第３章　正則表現と正則言語
3.1　正則表現
3.2　有限オートマトンと正則表現
3.3　正則表現の応用
3.4　正則表現の代数的法則
3.5　第３章の要約
3.6　第３章の参考文献

第４章　正則言語の性質
4.1　言語が正則でないことの証明
4.2　正則言語に関する閉包性
4.3　正則言語に関する決定問題
4.4　オートマトンの等価性と最小性
4.5　第４章の要約
4.6　第４章の参考文献

第５章　文脈自由文法と言語
5.1　文脈自由文法
5.2　構文木
5.3　文脈自由文法の応用
5.4　文法と言語のあいまいさ
5.5　第５章の要約
5.6　第５章の参考文献

第６章　プッシュダウン・オートマトン
6.1　プッシュダウン・オートマトンの定義
6.2　ＰＤＡの言語
6.3　ＰＤＡとＣＦＧの等価性
6.4　決定性プッシュダウン・オートマトン
6.5　第６章の要約
6.6　第６章の参考文献

第７章　文脈自由言語の性質
7.1　文脈自由言語の標準形
7.2　文脈自由言語の反復補題
7.3　文脈自由言語の閉包性
7.4　文脈自由言語の決定問題
7.5　第７章の要約
7.6　第７章の参考文献

索引