目錄
前言
第1章 總論 1
1.1 引言 1
1.2 程序設計語言與程序 3
1.2.1 程序及其結構 3
1.2.2 程序設計語言的定義 4
1.2.3 程序的執(zhí)行 7
1.3 編譯程序構造及有關概念 9
1.3.1 編譯程序的構造 9
1.3.2 遍的概念 11
1.3.3 編譯程序的分類 12
1.3.4 實際應用中的編譯程序 13
1.4 形式語言理論與編譯實現(xiàn)技術 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 形式語言的分類與程序設計語言 44
2.3.4 對上下文無關文法的進一步討論 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
習題1 65
習題2 66
習題3 66
習題4 67
習題5 67
第2章上機實習題 68
第3章 詞法分析 69
3.1 引言 69
3.1.1 詞法分析與詞法分析程序 69
3.1.2 符號的識別與重寫規(guī)則的關系 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 掃描程序定義與構造程序 111
3.4.3 自動生成系統(tǒng)LEX筒介 114
本章概要 115
習題6 116
第3章上機實習題 117
第4章 語法分析——自頂向下分析技術 119
4.1 引言 119
4.1.1 自頂向下分析技術及識別算法 119
4.1.2 討論的前提 119
4.1.3 要解決的基本問題 120
4.2 帶回溯的自頂向下分析技術 121
4.2.1 基本思想 121
4.2.2 語法分析樹的建立及其表列表示 123
4.2.3 問題及其解決 124
4.3 無回溯的自頂向下分析技術 125
4.3.1 先決條件 125
4.3.2 遞歸下降分析技術 125
4.3.3 預測分析技術 132
本章概要 142
習題7 143
第4章上機實習題 143
第5章 語法分析——自底向上分析技術 145
5.1 引言 145
5.1.1 自底向上分析技術及識別算法 145
5.1.2 討論前提 145
5.1.3 基本實現(xiàn)方法：移入-歸約法 146
5.2 算符優(yōu)先分析技術 148
5.2.1 算符優(yōu)先分析技術的引進 148
5.2.2 算符文法 148
5.2.3 算符優(yōu)先關系與算符優(yōu)先文法 150
5.2.4 算符優(yōu)先文法句型的識別 154
5.2.5 優(yōu)先函數(shù) 158
5.2.6 實際應用中的算符優(yōu)先分析技術 168
5.3 LR(k)分析技術 170
5.3.1 LR(k)文法與LR(k)分析技術 170
5.3.2 SLR(k)分析表構造萬法 182
5.3.3 LALR(k)分析表構造方法 196
5.3.4 識別程序自動構造 201
5.3.5 識別程序自動生成系統(tǒng)YACC簡介 205
5.4 LR(1)識別程序句型分析的實現(xiàn) 207
本章概要 210
習題8 211
習題9 212
習題10 212
第5章上機實習題 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 結構體類型的翻譯 247
6.3 目標代碼的生成 248
6.3.1 概況 248
6.3.2 虛擬機 251
6.3.3 控制語句的翻譯 253
6.4 語義分析的實現(xiàn)考慮 283
6.4.1 注釋分析樹的構造 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
習題11 317
習題12 317
習題13 318
習題14 319
第6章上機實習題 320
第7章 運行環(huán)境 321
7.1 引言 321
7.1.1 相關的問題 321
7.1.2 名字到存儲字的結合 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ù)結構 341
7.5 運行時刻支持系統(tǒng) 344
本章概要 345
習題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)化程序的結構 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)有關的優(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
習題16 399
第8章上機實習題 401
第9章 程序錯誤的檢查和校正 402
9.1 概述 402
9.1.1 錯誤存在的必然性 402
9.1.2 錯誤的種類 402
9.1.3 錯誤復原 404
9.2 詞法錯誤的復原和校正 405
9.2.1 詞法錯誤的種類 405
9.2.2 詞法錯誤的校正 405
9.3 語法錯誤的復原和校正 406
9.3.1 語法錯誤的復原 406
9.3.2 語法錯誤的校正 407
9.4 語義錯誤 408
9.4.1 語義錯誤的種類 408
9.4.2 語義錯誤檢查措施 409
本章概要 411
解題規(guī)范例解 412
總復習思考題 439
參考文獻 441