目錄
前言
第1章 總論 1
1.1 引言 1
1.2 程序設(shè)計(jì)語言與程序 3
1.2.1 程序及其結(jié)構(gòu) 3
1.2.2 程序設(shè)計(jì)語言的定義 4
1.2.3 程序的執(zhí)行 7
1.3 編譯程序構(gòu)造及有關(guān)概念 9
1.3.1 編譯程序的構(gòu)造 9
1.3.2 遍的概念 11
1.3.3 編譯程序的分類 12
1.3.4 實(shí)際應(yīng)用中的編譯程序 13
1.4 形式語言理論與編譯實(shí)現(xiàn)技術(shù) 15
本章概要 15
第2章 文法與語言 17
2.1 符號(hào)串與符號(hào)串集合 17
2.1.1 字母表 17
2.1.2 符號(hào)串 17
2.1.3 符號(hào)串集合 19
2.2 文法與語言的形式定義 20
2.2.1 文法的形式定義 20
2.2.2 語言的形式定義 31
2.3 語言的分類 35
2.3.1 Chomsky文法類和語言類 35
2.3.2 形式語言與自動(dòng)機(jī) 41
2.3.3 形式語言的分類與程序設(shè)計(jì)語言 44
2.3.4 對(duì)上下文無關(guān)文法的進(jìn)一步討論 45
2.4 文法等價(jià)與等價(jià)變換 47
2.4.1 文法等價(jià)的概念 47
2.4.2 壓縮文法等價(jià)變換 48
2.4.3 消去左遞歸的文法等價(jià)變換 51
2.5 語法分析樹與句型分析 55
2.5.1 語法分析樹的概念 55
2.5.2 句型分析 61
本章概要 65
習(xí)題1 65
習(xí)題2 66
習(xí)題3 66
習(xí)題4 67
習(xí)題5 67
第2章上機(jī)實(shí)習(xí)題 68
第3章 詞法分析 69
3.1 引言 69
3.1.1 詞法分析與詞法分析程序 69
3.1.2 符號(hào)的識(shí)別與重寫規(guī)則的關(guān)系 69
3.1.3 實(shí)現(xiàn)方式 70
3.2 正則表達(dá)式與有窮狀態(tài)自動(dòng)機(jī) 71
3.2.1 狀態(tài)轉(zhuǎn)換圖 71
3.2.2 確定有窮狀態(tài)自動(dòng)機(jī)DFA 75
3.2.3 非確定有窮狀態(tài)自動(dòng)機(jī)NFA 78
3.2.4 確定有窮狀態(tài)自動(dòng)機(jī)的化簡(jiǎn) 84
3.2.5 正則表達(dá)式 86
3.3 詞法分析程序的實(shí)現(xiàn) 89
3.3.1 符號(hào)與屬性字 89
3.3.2 標(biāo)識(shí)符的處理 94
3.3.3 詞法分析程序的編寫 100
3.4 詞法分析程序的自動(dòng)生成 105
3.4.1 基本思想 105
3.4.2 掃描程序定義與構(gòu)造程序 111
3.4.3 自動(dòng)生成系統(tǒng)LEX筒介 114
本章概要 115
習(xí)題6 116
第3章上機(jī)實(shí)習(xí)題 117
第4章 語法分析——自頂向下分析技術(shù) 119
4.1 引言 119
4.1.1 自頂向下分析技術(shù)及識(shí)別算法 119
4.1.2 討論的前提 119
4.1.3 要解決的基本問題 120
4.2 帶回溯的自頂向下分析技術(shù) 121
4.2.1 基本思想 121
4.2.2 語法分析樹的建立及其表列表示 123
4.2.3 問題及其解決 124
4.3 無回溯的自頂向下分析技術(shù) 125
4.3.1 先決條件 125
4.3.2 遞歸下降分析技術(shù) 125
4.3.3 預(yù)測(cè)分析技術(shù) 132
本章概要 142
習(xí)題7 143
第4章上機(jī)實(shí)習(xí)題 143
第5章 語法分析——自底向上分析技術(shù) 145
5.1 引言 145
5.1.1 自底向上分析技術(shù)及識(shí)別算法 145
5.1.2 討論前提 145
5.1.3 基本實(shí)現(xiàn)方法：移入-歸約法 146
5.2 算符優(yōu)先分析技術(shù) 148
5.2.1 算符優(yōu)先分析技術(shù)的引進(jìn) 148
5.2.2 算符文法 148
5.2.3 算符優(yōu)先關(guān)系與算符優(yōu)先文法 150
5.2.4 算符優(yōu)先文法句型的識(shí)別 154
5.2.5 優(yōu)先函數(shù) 158
5.2.6 實(shí)際應(yīng)用中的算符優(yōu)先分析技術(shù) 168
5.3 LR(k)分析技術(shù) 170
5.3.1 LR(k)文法與LR(k)分析技術(shù) 170
5.3.2 SLR(k)分析表構(gòu)造萬法 182
5.3.3 LALR(k)分析表構(gòu)造方法 196
5.3.4 識(shí)別程序自動(dòng)構(gòu)造 201
5.3.5 識(shí)別程序自動(dòng)生成系統(tǒng)YACC簡(jiǎn)介 205
5.4 LR(1)識(shí)別程序句型分析的實(shí)現(xiàn) 207
本章概要 210
習(xí)題8 211
習(xí)題9 212
習(xí)題10 212
第5章上機(jī)實(shí)習(xí)題 213
第6章 語義分析與目標(biāo)代碼生成 214
6.1 概況 214
6.1.1 語義分析的概念 214
6.1.2 屬性文法 216
6.1.3 類型體制與語義分析 233
6.2 說明部分的翻譯 241
6.2.1 常量定義的翻譯 242
6.2.2 變量說明的翻譯 242
6.2.3 函數(shù)定義的翻譯 244
6.2.4 結(jié)構(gòu)體類型的翻譯 247
6.3 目標(biāo)代碼的生成 248
6.3.1 概況 248
6.3.2 虛擬機(jī) 251
6.3.3 控制語句的翻譯 253
6.4 語義分析的實(shí)現(xiàn)考慮 283
6.4.1 注釋分析樹的構(gòu)造 283
6.4.2 語義動(dòng)作的實(shí)現(xiàn) 288
6.4.3 語義子程序的例子 295
6.5 源程序的中間表示代碼 296
6.5.1 抽象語法樹 297
6.5.2 逆波蘭表示 300
6.5.3 四元式序列 306
6.5.4 三元式序列 315
本章概要 316
習(xí)題11 317
習(xí)題12 317
習(xí)題13 318
習(xí)題14 319
第6章上機(jī)實(shí)習(xí)題 320
第7章 運(yùn)行環(huán)境 321
7.1 引言 321
7.1.1 相關(guān)的問題 321
7.1.2 名字到存儲(chǔ)字的結(jié)合 321
7.2 存儲(chǔ)分配策略 325
7.2.1 靜態(tài)存儲(chǔ)分配 325
7.2.2 棧式存儲(chǔ)分配 326
7.2.3 堆式存儲(chǔ)分配 329
7.3 寄存器分配 332
7.3.1 使用圖著色方法進(jìn)行寄存器分配的思路 332
7.3.2 例子 333
7.3.3 若干問題討論 335
7.4 符號(hào)表 336
7.4.1 符號(hào)表的引進(jìn) 336
7.4.2 符號(hào)表的組織 337
7.4.3 符號(hào)表的數(shù)據(jù)結(jié)構(gòu) 341
7.5 運(yùn)行時(shí)刻支持系統(tǒng) 344
本章概要 345
習(xí)題15 346
第8章 代碼優(yōu)化 348
8.1 引言 348
8.1.1 優(yōu)化的概念 348
8.1.2 代碼優(yōu)化的分類 349
8.1.3 代碼優(yōu)化程序的結(jié)構(gòu) 350
8.2 基本塊與流圖 351
8.3 基本塊的優(yōu)化 352
8.3.1 基本塊優(yōu)化的種類 352
8.3.2 基本塊優(yōu)化的實(shí)現(xiàn) 356
8.4 與循環(huán)有關(guān)的優(yōu)化 365
8.4.1 循環(huán)優(yōu)化的種類 366
8.4.2 循環(huán)優(yōu)化的實(shí)現(xiàn) 373
8.5 窺孔優(yōu)化 395
8.5.1 冗余指令刪除 395
8.5.2 控制流優(yōu)化 397
8.5.3 代數(shù)化簡(jiǎn) 398
8.5.4 特殊指令的使用 398
本章概要 398
習(xí)題16 399
第8章上機(jī)實(shí)習(xí)題 401
第9章 程序錯(cuò)誤的檢查和校正 402
9.1 概述 402
9.1.1 錯(cuò)誤存在的必然性 402
9.1.2 錯(cuò)誤的種類 402
9.1.3 錯(cuò)誤復(fù)原 404
9.2 詞法錯(cuò)誤的復(fù)原和校正 405
9.2.1 詞法錯(cuò)誤的種類 405
9.2.2 詞法錯(cuò)誤的校正 405
9.3 語法錯(cuò)誤的復(fù)原和校正 406
9.3.1 語法錯(cuò)誤的復(fù)原 406
9.3.2 語法錯(cuò)誤的校正 407
9.4 語義錯(cuò)誤 408
9.4.1 語義錯(cuò)誤的種類 408
9.4.2 語義錯(cuò)誤檢查措施 409
本章概要 411
解題規(guī)范例解 412
總復(fù)習(xí)思考題 439
參考文獻(xiàn) 441