編譯原理簡明教程（簡體書）

郭偉、李義杰等編著的《編譯原理簡明教程》從軟件工程角度出發，不僅介紹傳統程序設計語言的編譯技術，同時還參照國內外的一些專著和論文介紹了面向對象語言的編譯技術，其內容包括語言基礎知識、詞法分析、語法分析、中間代碼生成、運行時的存儲空間組織、代碼優化、目標代碼生成等。作為原理性的教材，本書旨在介紹基本的理論和方法，內容的安排和取舍以軟件工程專業學生的學習與認知過程為基礎，與專業培養的實際需求相匹配，內容力求簡明實用，概念清晰、圖文並茂，各章節之間循序漸進，并在各章之后附有典型習題及詳細解析，供讀者學習時練習和參考。 《編譯原理簡明教程》可作為高等院校計算機相關專業編譯原理課程的教材，也可作為軟件工程技術人員的參考書。

第1章　引論 1
1.1　什麼叫編譯程序 1
1.2　編譯過程概述 2
1.3　編譯過程的結構 7
1.3.1　編譯程序總框 7
1.3.2　表格與表格管理 7
1.3.3　出錯處理 8
1.3.4　遍 8
1.3.5　編譯前端與后端 9
1.4　解釋程序和程序設計語言范型 9
1.4.1　解釋程序 9
1.4.2　程序設計語言范型 11
1.5　編譯程序的生成 12
習題1 14
第2章　編譯基礎 15
2.1　文法的直觀概念 15
2.2　符號和符號串 16
2.3　文法和語言的形式定義 17
2.4　文法的類型 20
2.5　語法分析樹與二義性 21
2.6　句型的分析 25
2.6.1　自上而下分析方法 25
2.6.2　自下而上分析方法 26
2.6.3　句型分析的有關問題 26
習題2 27
第3章　詞法分析 29
3.1　單詞的描述工具 29
3.1.1　正規文法 29
3.1.2　正規式 30
3.1.3　正規文法和正規式的等價性 31
3.2　有限自動機 32
3.2.1　確定的有限自動機（DFA） 33
3.2.2　非確定的有限自動機（NFA） 34
3.2.3　正規文法與有限自動機的等價性 37
3.2.4　正規式與有限自動機的等價性 39
3.2.5　確定有限自動機的化簡 41
3.3　詞法分析器的要求 43
3.3.1　詞法分析器的功能和輸出形式 43
3.3.2　詞法分析工作分離的考慮 44
3.4　詞法分析器的設計 45
3.4.1　輸入、預處理 45
3.4.2　單詞符號的識別—超前搜索 45
3.4.3　狀態轉換圖 47
3.4.4　狀態轉換圖的實現 49
3.5　詞法分析器的自動產生 52
3.5.1　語言LEX的一般描述 52
3.5.2　超前搜索 54
3.5.3　LEX的實現 55
習題3 57
第4章　自上而下語法分析 59
4.1　語法分析器的功能 59
4.2　下推自動機模型 59
4.3　自上而下分析面臨的問題 62
4.4　LL（1）分析法 64
4.4.1　左遞歸的消除 64
4.4.2　消除回溯、提取左因子 66
4.4.3　LL（1）分析條件 67
4.5　遞歸下降分析程序的構造 69
4.6　預測分析程序 71
4.6.1　預測分析程序工作過程 71
4.6.2　預測分析表的構造 72
4.7　LL（1）分析中的錯誤處理 74
習題4 76
第5章　自下而上語法分析 78
5.1　自下而上分析的基本問題 78
5.1.1　歸約 78
5.1.2　規範歸約簡述 79
5.1.3　符號棧的使用與語法樹的表示 81
5.2　算符優先分析 83
5.2.1　算符優先分析技術的改進 84
5.2.2　算符優先文法及優先表構造 85
5.2.3　算符優先分析算法 89
5.2.4　算符優先分析中的出錯處理 91
5.3　LR分析法 93
5.3.1　LR分析器 93
5.3.2　LR（0）項目集族和LR（0）分析表的構造 98
5.3.3　SLR分析表的構造 105
5.3.4　規範LR分析表的構造 108
5.3.5　LALR分析表的構造 111
5.3.6　二義文法的應用 114
5.3.7　LR分析中的出錯處理 117
5.4　語法分析器的自動產生工具YACC 120
習題5 124
第6章　語法制導翻譯和中間代碼生成 126
6.1　概述 126
6.2　屬性文法 128
6.3　語法制導翻譯 131
6.3.1　依賴圖 133
6.3.2　S-屬性文法的自下而上計算 135
6.3.3　L-屬性文法和自上而下翻譯 138
6.3.4　L-屬性文法在自下而上分析中的實現 141
6.3.5　YACC使用語法制導翻譯方法 143
6.4　語義分析 144
6.5　中間代碼形式 144
6.5.1　逆波蘭記號 144
6.5.2　三地址代碼 145
6.5.3　樹形表示形式 148
6.6　說明語句 148
6.6.1　過程中的說明語句 149
6.6.2　保留作用域信息 149
6.6.3　記錄中的域名 152
6.7　賦值語句的翻譯 153
6.7.1　簡單算術表達式及賦值語句 153
6.7.2　數組元素的引用 154
6.7.3　記錄中域的引用 159
6.8　布爾表達式的翻譯方法 159
6.8.1　布爾表達式的翻譯方法 160
6.8.2　控制語句中布爾表達式的翻譯 161
6.9　控制結構的翻譯 165
6.9.1　條件轉移 165
6.9.2　開關語句 167
6.9.3　for循環語句 169
6.9.4　出口語句 171
6.9.5　goto語句 171
6.10　過程調用的處理 173
習題6 174
第7章　運行時的存儲空間組織 177
7.1　數據空間的三種不同使用方法和管理方法 177
7.1.1　靜態存儲分配 178
7.1.2　動態存儲分配 179
7.1.3　棧式動態存儲分配 179
7.1.4　堆式動態存儲分配 179
7.2　棧式存儲分配的實現 179
7.2.1　簡單的棧式存儲分配的實現 180
7.2.2　嵌套過程語言的棧式實現 181
7.2.3　分程序結構的存儲管理 185
7.3　參數傳遞 189
7.3.1　傳值 189
7.3.2　傳地址 191
7.3.3　過程參數 191
7.4　過程調用、過程進入和過程返回 192
習題7 193
第8章　優化 196
8.1　概述 196
8.2　局部優化 201
8.2.1　基本塊及流圖 201
8.2.2　基本塊的DAG表示及其應用 203
8.3　循環優化 209
8.3.1　代碼外提 209
8.3.2　強度削弱 213
8.3.3　刪除歸納變量 214
習題8 216
第9章　目標代碼生成 219
9.1　基本問題 219
9.2　目標機器模型 221
9.3　一個簡單的代碼生成器 222
9.3.1　待用信息 224
9.3.2　寄存器描述和地址描述 225
9.3.3　代碼生成算法 225
9.4　寄存器分配 228
9.5　DAG的目標代碼 231
9.6　窺孔優化 234
習題9 236
第10章　面向對象語言的編譯 238
10.1　面向對象語言的基本概念 238
10.1.1　對象 238
10.1.2　對象類 239
10.1.3　繼承性 239
10.1.4　信息封裝 241
10.2　方法的編譯 242
10.3　編譯繼承性的方案 243
10.3.1　簡單繼承性的編譯方案 244
10.3.2　多繼承性的編譯方案 246
習題解析部分 251
習題1解析 251
習題2解析 253
習題3解析 256
習題4解析 269
習題5解析 276
習題6解析 288
習題7解析 296
習題8解析 305
習題9解析 315
參考文獻 320