編譯原理

第1章  概論        1
1.1  語言和人類        1
1.2  語言和計算機        2
1.3  語言和編譯        6
1.4  程序設計語言的編譯        7
1.5  一個語句的編譯舉例        9
1.6  編譯的遍數(shù)        11
1.7  本書的組成        11
習題        13
第2章  文法和語言        14
2.1  預備知識        14
2.2  文法        15
2.3  語言        18
2.4  文法所生成的語言        20
2.5  圖靈機        22
2.6  有關文法和語言的問題        29
習題        30
第3章  有限自動機和正則表達式        34
3.1  確定的有限自動機        34
3.2  不確定的有限自動機        37
3.3  帶有e的有限自動機        42
3.4  正則表達式        44
3.5  兩路有限自動機        49
3.6  正則文法        53
3.7  關于正則語言的判定        61
習題        62
第4章  詞法分析        66
4.1  詞法分析的作用        67
4.2  詞法分析程序的輸出        76
4.3  錯誤處理        78
習題        78
第5章  上下文無關文法和下推自動機        80
5.1  上下文無關文法        80
5.2  上下文無關文法的性質(zhì)        83
5.3  下推自動機        90
5.4  下推自動機和上下文無關語言        93
習題        98
第6章  語法分析        104
6.1  LL(1)語法分析        104
6.2  LL(1)文法的確定        107
6.3  LL(1)語法分析方法        110
6.4  自底向上的語法分析        115
6.5  LR(1)語法分析方法        118
6.5.1  LR(0)語法分析        118
6.5.2  SLR(1)語法分析        120
6.5.3  LALR(1)語法分析        122
6.5.4  LR(1)語法分析        124
6.5.5  LL(1)語法分析方法和LR(1)語法
分析方法的比較        130
習題        132
第7章  屬性文法及其分析        136
7.1  屬性文法        136
7.2  依賴圖和屬性計算        139
7.2.1  動態(tài)屬性計算        143
7.2.2  循環(huán)處理        145
7.3  L屬性文法和S屬性文法        146
習題        148
第8章  編譯程序設計的代數(shù)方法        149
8.1  源語言        149
8.2  代數(shù)基礎和推理語言        154
8.2.1  代數(shù)基礎        155
8.2.2  推理語言        160
8.3  一個簡單的編譯程序        178
8.3.1  規(guī)范形式        178
8.3.2  規(guī)范形式的歸結(jié)        179
8.3.3  目標機器        182
8.3.4  表達式的化簡        183
8.3.5  控制的消除        185
8.3.6  數(shù)據(jù)求精        187
8.3.7  編譯過程        191
8.4  過程、遞歸和參數(shù)        192
8.4.1  記號        193
8.4.2  過程        193
8.4.3  遞歸        195
8.4.4  帶參數(shù)的程序        197
8.4.5  帶參數(shù)的過程        199
8.4.6  帶參數(shù)的遞歸        200
8.4.7  討論        202
8.5  小結(jié)        203
習題        204
第9章  中間代碼的生成        205
9.1  為什么需要有中間代碼生成階段        205
9.2  中間代碼語言        205
9.2.1  圖形表示        206
9.2.2  后綴表示        208
9.2.3  四元組代碼        209
習題        223
第10章  糾錯與優(yōu)化        226
10.1  錯誤檢測和恢復        226
10.2  語法錯誤檢查        227
10.2.1  LL(1)分析程序的錯誤處理        229
10.2.2  LR(1)分析中的錯誤處理        229
10.3  語義錯誤檢查        230
10.4  程序的優(yōu)化        230
10.5  程序優(yōu)化的幾個主要途徑        234
10.5.1  公共子表達式的刪除        234
10.5.2  副本傳播        234
10.5.3  廢代碼的刪除        235
10.5.4  循環(huán)優(yōu)化        236
習題        237
第11章  存儲管理        239
11.1  全局分配策略        239
11.2  動態(tài)分配        242
11.2.1  棧式分配        242
11.2.2  堆式分配        243
11.3  存儲空間的回收        245
11.3.1  基本垃圾收集算法        245
11.3.2  編譯程序?qū)占绦虻闹С?nbsp;       246
11.3.3  引用計數(shù)        247
11.3.4  標記和掃描        248
11.3.5  兩空間復制        249
11.3.6  緊縮        250
11.4  參數(shù)傳遞        250
11.4.1  值調(diào)用        251
11.4.2  引用調(diào)用        251
11.4.3  復寫-恢復調(diào)用        251
11.4.4  換名調(diào)用        251
習題        252
第12章  目標代碼生成        254
12.1  代碼生成程序設計的有關問題        254
12.1.1  代碼生成程序的輸入        254
12.1.2  目標程序        255
12.1.3  存儲管理        255
12.1.4  指令選擇        255
12.1.5  寄存器分配        256
12.1.6  計算順序的選擇        257
12.1.7  代碼生成的方法        257
12.2  目標機器MMIX        257
12.3  MMIX的匯編語言        274
12.4  MMIXAL目標代碼的生成        279
12.4.1  表達式逆波蘭表示的翻譯        279
12.4.2  表達式三元式的翻譯        280
12.4.3  表達式四元組形成的翻譯        280
12.4.4  表達式的翻譯        281
12.4.5  表達式的語法樹形式的翻譯        282
12.4.6  各種語句的翻譯        282
習題        284
第13章  面向?qū)ο笳Z言的編譯        286
13.1  對象及其編譯        286
13.2  對象的特征        287
習題        294
第14章  并行語言的編譯        296
14.1  并行機和并行計算的提出        296
14.2  并行程序設計        298
14.2.1  共享變量和管程        299
14.2.2  消息傳送模型        300
14.3  面向?qū)ο蟮恼Z言        301
14.4  Linda元組空間        301
14.5  數(shù)據(jù)并行語言        303
14.6  隱式并行程序的代碼生成        304
14.6.1  區(qū)域的類型        305
14.6.2  區(qū)域的形成        306
14.6.3  區(qū)域的幾個調(diào)度算法        309
習題        309
第15章  網(wǎng)格計算的編譯        310
15.1  網(wǎng)格計算的興起與其內(nèi)涵        310
15.2  網(wǎng)格計算模型        311
15.2.1  分組路由        312
15.2.2  線性陣列中的分組路由        313
15.3  網(wǎng)格計算的編譯        315
習題        316
參考文獻        318