目錄
前言
第1章 總論 1
1.1 引言 1
1.2 程序設(shè)計語言與程序 3
1.2.1 程序及其結(jié)構(gòu) 3
1.2.2 程序設(shè)計語言的定義 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 實際應(yīng)用中的編譯程序 13
1.4 形式語言理論與編譯實現(xiàn)技術(shù) 15
本章概要 15
第2章 文法與語言 17
2.1 符號串與符號串集合 17
2.1.1 字母表 17
2.1.2 符號串 17
2.1.3 符號串集合 19
2.2 文法與語言的形式定義 20
2.2.1 文法的形式定義 20
2.2.2 語言的形式定義 31
2.3 語言的分類 35
2.3.1 Chomsky文法類和語言類 35
2.3.2 形式語言與自動機 41
2.3.3 形式語言的分類與程序設(shè)計語言 44
2.3.4 對上下文無關(guān)文法的進一步討論 45
2.4 文法等價與等價變換 47
2.4.1 文法等價的概念 47
2.4.2 壓縮文法等價變換 48
2.4.3 消去左遞歸的文法等價變換 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章上機實習(xí)題 68
第3章 詞法分析 69
3.1 引言 69
3.1.1 詞法分析與詞法分析程序 69
3.1.2 符號的識別與重寫規(guī)則的關(guān)系 69
3.1.3 實現(xiàn)方式 70
3.2 正則表達式與有窮狀態(tài)自動機 71
3.2.1 狀態(tài)轉(zhuǎn)換圖 71
3.2.2 確定有窮狀態(tài)自動機DFA 75
3.2.3 非確定有窮狀態(tài)自動機NFA 78
3.2.4 確定有窮狀態(tài)自動機的化簡 84
3.2.5 正則表達式 86
3.3 詞法分析程序的實現(xiàn) 89
3.3.1 符號與屬性字 89
3.3.2 標識符的處理 94
3.3.3 詞法分析程序的編寫 100
3.4 詞法分析程序的自動生成 105
3.4.1 基本思想 105
3.4.2 掃描程序定義與構(gòu)造程序 111
3.4.3 自動生成系統(tǒng)LEX筒介 114
本章概要 115
習(xí)題6 116
第3章上機實習(xí)題 117
第4章 語法分析——自頂向下分析技術(shù) 119
4.1 引言 119
4.1.1 自頂向下分析技術(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ù)測分析技術(shù) 132
本章概要 142
習(xí)題7 143
第4章上機實習(xí)題 143
第5章 語法分析——自底向上分析技術(shù) 145
5.1 引言 145
5.1.1 自底向上分析技術(shù)及識別算法 145
5.1.2 討論前提 145
5.1.3 基本實現(xiàn)方法：移入-歸約法 146
5.2 算符優(yōu)先分析技術(shù) 148
5.2.1 算符優(yōu)先分析技術(shù)的引進 148
5.2.2 算符文法 148
5.2.3 算符優(yōu)先關(guān)系與算符優(yōu)先文法 150
5.2.4 算符優(yōu)先文法句型的識別 154
5.2.5 優(yōu)先函數(shù) 158
5.2.6 實際應(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 識別程序自動構(gòu)造 201
5.3.5 識別程序自動生成系統(tǒng)YACC簡介 205
5.4 LR(1)識別程序句型分析的實現(xiàn) 207
本章概要 210
習(xí)題8 211
習(xí)題9 212
習(xí)題10 212
第5章上機實習(xí)題 213
第6章 語義分析與目標代碼生成 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 目標代碼的生成 248
6.3.1 概況 248
6.3.2 虛擬機 251
6.3.3 控制語句的翻譯 253
6.4 語義分析的實現(xiàn)考慮 283
6.4.1 注釋分析樹的構(gòu)造 283
6.4.2 語義動作的實現(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章上機實習(xí)題 320
第7章 運行環(huán)境 321
7.1 引言 321
7.1.1 相關(guān)的問題 321
7.1.2 名字到存儲字的結(jié)合 321
7.2 存儲分配策略 325
7.2.1 靜態(tài)存儲分配 325
7.2.2 棧式存儲分配 326
7.2.3 堆式存儲分配 329
7.3 寄存器分配 332
7.3.1 使用圖著色方法進行寄存器分配的思路 332
7.3.2 例子 333
7.3.3 若干問題討論 335
7.4 符號表 336
7.4.1 符號表的引進 336
7.4.2 符號表的組織 337
7.4.3 符號表的數(shù)據(jù)結(jié)構(gòu) 341
7.5 運行時刻支持系統(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)化的實現(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)化的實現(xiàn) 373
8.5 窺孔優(yōu)化 395
8.5.1 冗余指令刪除 395
8.5.2 控制流優(yōu)化 397
8.5.3 代數(shù)化簡 398
8.5.4 特殊指令的使用 398
本章概要 398
習(xí)題16 399
第8章上機實習(xí)題 401
第9章 程序錯誤的檢查和校正 402
9.1 概述 402
9.1.1 錯誤存在的必然性 402
9.1.2 錯誤的種類 402
9.1.3 錯誤復(fù)原 404
9.2 詞法錯誤的復(fù)原和校正 405
9.2.1 詞法錯誤的種類 405
9.2.2 詞法錯誤的校正 405
9.3 語法錯誤的復(fù)原和校正 406
9.3.1 語法錯誤的復(fù)原 406
9.3.2 語法錯誤的校正 407
9.4 語義錯誤 408
9.4.1 語義錯誤的種類 408
9.4.2 語義錯誤檢查措施 409
本章概要 411
解題規(guī)范例解 412
總復(fù)習(xí)思考題 439
參考文獻 441