形式語言與自動機理論（第4版）

第1章緒論1

1.1集合的基礎知識2

1.1.1集合及其表示2

1.1.2集合之間的關系4

1.1.3集合的運算5

1.2關系10

1.2.1二元關系10

1.2.2等價關系與等價類11

1.2.3關系的合成12

1.2.4遞歸定義與歸納證明13

1.2.5關系的閉包15

1.3圖16

1.3.1無向圖16

1.3.2有向圖17

1.3.3樹19

1.4語言20

1.4.1什么是語言20

1.4.2形式語言與自動機理論的產生與作用21

1.4.3基本概念23

1.5小結29

習題29第2章文法36

2.1啟示37

2.2形式定義39

2.3文法的構造47

2.4文法的喬姆斯基體系55

2.5空語句65

2.6小結67

習題68第3章有窮狀態(tài)自動機71

3.1語言的識別71

3.2有窮狀態(tài)自動機73

3.3不確定的有窮狀態(tài)自動機84

3.3.1作為對DFA的修改84

3.3.2NFA的形式定義86

3.3.3NFA與DFA等價92

3.4帶空移動的有窮狀態(tài)自動機96

3.5FA是正則語言的識別器100

3.5.1FA與右線性文法100

3.5.2FA與左線性文法104

3.6FA的一些變形105

3.6.1雙向有窮狀態(tài)自動機105

3.6.2帶輸出的FA107

3.7小結108

習題108目錄形式語言與自動機理論(第4版)第4章正則表達式114

4.1啟示114

4.2正則表達式的形式定義115

4.3正則表達式與FA等價117

4.3.1正則表達式到FA的等價變換117

4.3.2正則語言可以用正則表達式表示125

4.4正則語言等價模型的總結130

4.5小結131

習題132第5章正則語言的性質134

5.1正則語言的泵引理134

5.2正則語言的封閉性139

5.3MyhillNerode定理與DFA的極小化145

5.3.1MyhillNerode定理146

5.3.2DFA的極小化154

5.4關于正則語言的判定算法161

5.5小結163

習題163第6章上下文無關語言166

6.1上下文無關文法166

6.1.1上下文無關文法的派生樹167

6.1.2二義性172

6.1.3自頂向下的分析和自底向上的分析175

6.2上下文無關文法的化簡177

6.2.1去無用符號178

6.2.2去ε產生式181

6.2.3去單一產生式組184

6.3喬姆斯基范式187

6.4格雷巴赫范式190

6.5自嵌套文法195

6.6小結196

習題196第7章下推自動機200

7.1基本定義200

7.2PDA與CFG等價206

7.2.1PDA用空棧接受和用終止狀態(tài)接受等價206

7.2.2PDA與CFG等價209

7.3小結218

習題219第8章上下文無關語言的性質221

8.1上下文無關語言的泵引理221

8.2上下文無關語言的封閉性227

8.3上下文無關語言的判定算法232

8.3.1L空否的判定232

8.3.2L是否有窮的判定233

8.3.3x是否為L的句子的判定234

8.4小結236

習題236第9章圖靈機238

9.1基本概念239

9.1.1基本圖靈機239

9.1.2圖靈機作為非負整函數的計算模型246

9.1.3圖靈機的構造248

9.2圖靈機的變形255

9.2.1雙向無窮帶圖靈機255

9.2.2多帶圖靈機258

9.2.3不確定的圖靈機260

9.2.4多維圖靈機261

9.2.5其他圖靈機263

9.3通用圖靈機265

9.4幾個相關的概念267

9.4.1可計算性267

9.4.2P與NP相關問題267

9.5小結268

習題268第10章上下文有關語言272

10.1圖靈機與短語結構文法的等價性272

10.2線性有界自動機及其與上下文有關文法的等價性275

10.3小結276

習題277附錄A教學設計278

A.1課程概述278

A.1.1基本描述278

A.1.2教學定位278

A.1.3教學目標279

A.1.4知識點與學時分配280

A.2課堂講授282

A.2.1重點與難點282

A.2.2講授中應注意的方法等問題287

A.3作業(yè)289

A.3.1指導思想289

A.3.2關于大作業(yè)和實驗289

A.4課程考試與成績評定289

A.4.1成績評定289

A.4.2考題設計291附錄B縮寫符號293詞匯索引295參考文獻302