有限自動機(jī)理論

第1章 基礎(chǔ)知識
1．1 集合及其運算
1．2 關(guān)系
1．2．1 二元關(guān)系
1．2．2 等價關(guān)系
1．2．3 關(guān)系的合成
1．3 證明和證明的方法
1．3．1 反證法
1．3．2 歸納法
1．3．3 遞歸的定義與歸納證明
1．4 圖與樹
1．5 語言
1．6 常用術(shù)語
1．7 形式語言與自動機(jī)的發(fā)展
習(xí)題1
第2章 形式語言簡介
2．1 例子語言
2．2 文法和語言的關(guān)系
2．2．1 文法
2．2．2 語言
2．2．3 文法和語言的3類問題
2．3 Chomskv對文法和語言的分類
2．4 文法產(chǎn)生語言
2．5 無用非終結(jié)符
2．6 推導(dǎo)樹
2．7 空串定理
2．8 消除左遞歸
2．8．1 消除直接左遞歸
2．8．2 消除間接左遞歸
2．9 上下文無關(guān)文法的另一種表示
2．10 語言之間的運算及運算的封閉性
2．10．1 語言之間的基本運算
2．10．2 語言之間的運算的封閉性
2．10．3 語言之間的其他運算
2．11 正則表達(dá)式和正則集
習(xí)題2
第3章 有限狀態(tài)自動機(jī)
3．1 有限狀態(tài)自動機(jī)
3．2 確定的有限狀態(tài)自動機(jī)接收的語言
3．3 確定的有限狀態(tài)自動機(jī)接收語言的例子
3．4 不確定的有限狀態(tài)自動機(jī)
3．4．1 不確定的有限狀態(tài)自動機(jī)
3．4．2 不確定的有限狀態(tài)自動機(jī)的確定化
3．5 帶有s動作的有限狀態(tài)自動機(jī)
3．6 有限狀態(tài)自動機(jī)的一些變形
3．6．1 雙向的有限狀態(tài)自動機(jī)
3．6．2 帶有輸出的有限狀態(tài)自動機(jī)
3．7 有限狀態(tài)接收機(jī)的存儲技術(shù)
3．8 有限狀態(tài)自動機(jī)應(yīng)用實例
習(xí)題3