編譯原理

第1章 編譯簡(jiǎn)述\t1
1．1 程序的翻譯\t1
1．1．1 程序設(shè)計(jì)語(yǔ)言\t1
1．1．2 編譯程序\t2
1．1．3 實(shí)現(xiàn)高級(jí)語(yǔ)言的編譯方式\t2
1．2 編譯程序的組成\t3
1．2．1 編譯程序的構(gòu)成\t4
1．2．2 遍\t5
1．2．3 編譯程序前端和后端\t5
1．3 編譯程序的構(gòu)造\t5
1．4 小結(jié)\t6
復(fù)習(xí)思考題\t7
第2章 形式語(yǔ)言與詞法分析\t8
2．1 字母表和符號(hào)串的基本概念\t8
2．1．1 字母表和符號(hào)串\t9
2．1．2 符號(hào)串的運(yùn)算\t10
2．2 文法和語(yǔ)言的形式定義\t11
2．2．1 形式語(yǔ)言\t12
2．2．2 文法的形式定義\t13
2．2．3 語(yǔ)言的形式定義\t14
2．3 語(yǔ)法樹(shù)與文法二義性\t17
2．3．1 語(yǔ)法樹(shù)\t17
2．3．2 文法二義性\t18
2．4 文法和語(yǔ)言的分類(lèi)\t19
2．5 詞法分析的任務(wù)\t20
2．5．1 詞法分析的任務(wù)描述\t20
2．5．2 詞法分析器與語(yǔ)法分析器的接口\t20
2．6 詞法分析程序的輸出形式\t21
2．6．1 單詞符號(hào)的分類(lèi)\t21
2．6．2 詞法分析程序單詞的輸出形式\t22
2．6．3 詞法錯(cuò)誤\t23
2．7 詞法分析程序的設(shè)計(jì)與實(shí)現(xiàn)\t24
2．7．1 輸入和預(yù)處理功能\t24
2．7．2 單詞符號(hào)的識(shí)別\t25
2．7．3 狀態(tài)轉(zhuǎn)換圖\t26
2．7．4 狀態(tài)轉(zhuǎn)換圖的實(shí)現(xiàn)\t26
2．8 正規(guī)表達(dá)式與有限自動(dòng)機(jī)\t27
2．8．1 正規(guī)表達(dá)式與正規(guī)集\t28
2．8．2 有限自動(dòng)機(jī)\t31
2．9 詞法分析程序的自動(dòng)生成工具Lex\t40
2．10 實(shí)例語(yǔ)言的詞法分析程序\t43
2．10．1 微小語(yǔ)言Micro\t43
2．10．2 Micro的詞法分析\t43
2．11 小結(jié)\t45
復(fù)習(xí)思考題\t46
第3章 自頂向下語(yǔ)法分析\t50
3．1 自頂向下分析的一般方法\t51
3．2 LL(1)文法\t52
3．2．1 消除左遞歸\t52
3．2．2 提取左因子\t53
3．3 遞歸下降分析法\t58
3．4 LL(1)分析法\t60
3．4．1 非遞歸預(yù)測(cè)分析器\t60
3．4．2 構(gòu)造預(yù)測(cè)分析表\t62
3．5 預(yù)測(cè)分析中的錯(cuò)誤處理\t63
3．6 小結(jié)\t64
復(fù)習(xí)思考題\t64
第4章 自底向上語(yǔ)法分析\t66
4．1 自底向上分析的基本概念\t66
4．1．1 歸約\t66
4．1．2 句柄\t67
4．1．3 用棧實(shí)現(xiàn)自底向上分析\t68
4．1．4 移進(jìn)-歸約分析的沖突\t69
4．2 算符優(yōu)先分析\t70
4．2．1 直觀算符優(yōu)先分析法\t71
4．2．2 算符優(yōu)先文法的定義\t73
4．2．3 算符優(yōu)先關(guān)系表的構(gòu)造\t74
4．2．4 算符優(yōu)先分析算法\t75
4．2．5 優(yōu)先函數(shù)\t76
4．2．6 算符優(yōu)先分析法的局限性\t78
4．3 LR分析法\t78
4．3．1 LR分析算法\t79
4．3．2 LR文法和LR分析方法的特點(diǎn)\t81
4．3．3 構(gòu)造LR(0)分析表\t82
4．3．4 構(gòu)造SLR(1)分析表\t88
4．3．5 構(gòu)造規(guī)范的LR分析表\t92
4．3．6 構(gòu)造LALR分析表\t95
4．3．7 二義文法的應(yīng)用\t97
4．4 語(yǔ)法分析程序的自動(dòng)生成工具YACC\t101
4．5 實(shí)例語(yǔ)言編譯程序的語(yǔ)法分析\t104
4．6 小結(jié)\t106
復(fù)習(xí)思考題\t107
第5章 語(yǔ)義分析與中間代碼的生成\t110
5．1 語(yǔ)義分析的任務(wù)\t110
5．1．1 語(yǔ)義分析的概念\t110
5．1．2 語(yǔ)義分析的任務(wù)\t111
5．2 語(yǔ)法制導(dǎo)翻譯\t111
5．2．1 屬性文法\t111
5．2．2 語(yǔ)法制導(dǎo)翻譯方法\t111
5．3 中間代碼\t112
5．3．1 逆波蘭表示法\t112
5．3．2 四元式\t112
5．3．3 三元式\t113
5．3．4 間接三元式\t113
5．3．5 抽象語(yǔ)法樹(shù)\t114
5．4 說(shuō)明語(yǔ)句的翻譯\t114
5．4．1 簡(jiǎn)單說(shuō)明語(yǔ)句的翻譯\t114
5．4．2 過(guò)程中的說(shuō)明\t115
5．5 賦值語(yǔ)句的翻譯\t115
5．5．1 簡(jiǎn)單算術(shù)表達(dá)式和賦值語(yǔ)句的翻譯\t115
5．5．2 數(shù)組的翻譯\t117
5．6 布爾表達(dá)式的翻譯\t117
5．7 控制語(yǔ)句的翻譯\t120
5．7．1 條件語(yǔ)句if的翻譯\t121
5．7．2 循環(huán)語(yǔ)句while的翻譯\t122
5．7．3 三種基本控制結(jié)構(gòu)的翻譯\t123
5．8 過(guò)程調(diào)用的翻譯\t124
5．9 實(shí)例編譯程序的語(yǔ)義分析\t125
5．10 小結(jié)\t127
復(fù)習(xí)思考題\t127
第6章 符號(hào)表管理\t131
6．1 符號(hào)表的作用\t131
6．1．1 收集標(biāo)識(shí)符屬性信息\t131
6．1．2 符號(hào)表內(nèi)容為上下文語(yǔ)義的合法性檢查提供依據(jù)\t132
6．1．3 作為目標(biāo)代碼生成階段編譯程序分配地址空間的依據(jù)\t132
6．2 符號(hào)表的主要內(nèi)容\t132
6．2．1 符號(hào)名\t132
6．2．2 符號(hào)的類(lèi)型\t133
6．2．3 符號(hào)的存儲(chǔ)類(lèi)型\t133
6．2．4 符號(hào)的作用域及可視性\t133
6．2．5 符號(hào)變量的存儲(chǔ)分配信息\t134
6．2．6 符號(hào)的其他屬性\t136
6．3 符號(hào)表的組織\t136
6．3．1 符號(hào)表的總體組織\t136
6．3．2 符號(hào)表項(xiàng)的組織\t138
6．4 符號(hào)表的管理\t142
6．4．1 符號(hào)表的初始化\t142
6．4．2 符號(hào)的插入\t143
6．4．3 符號(hào)的查找\t145
6．5 小結(jié)\t146
復(fù)習(xí)思考題\t146
第7章 運(yùn)行時(shí)的存儲(chǔ)組織與分配\t147
7．1 存儲(chǔ)組織概述\t147
7．1．1 運(yùn)行時(shí)內(nèi)存的劃分\t147
7．1．2 過(guò)程活動(dòng)記錄\t149
7．2 靜態(tài)存儲(chǔ)分配\t150
7．3 棧式動(dòng)態(tài)存儲(chǔ)分配\t151
7．3．1 棧的結(jié)構(gòu)\t151
7．3．2 活動(dòng)樹(shù)和簡(jiǎn)單的棧式存儲(chǔ)分配\t151
7．3．3 嵌套過(guò)程語(yǔ)言的棧式實(shí)現(xiàn)\t153
7．4 堆式動(dòng)態(tài)存儲(chǔ)分配\t154
7．5 小結(jié)\t156
復(fù)習(xí)思考題\t156
第8章 代碼優(yōu)化\t158
8．1 局部?jī)?yōu)化\t159
8．1．1 基本塊的劃分\t159
8．1．2 利用基本塊DAG進(jìn)行優(yōu)化\t162
8．2 循環(huán)優(yōu)化\t166
8．2．1 程序流圖\t166
8．2．2 循環(huán)的查找\t167
8．2．3 循環(huán)優(yōu)化\t169
8．3 小結(jié)\t171
復(fù)習(xí)思考題\t171
第9章 目標(biāo)代碼生成\t173
9．1 目標(biāo)代碼的形式\t173
9．2 假想的計(jì)算機(jī)模型\t174
9．3 一個(gè)簡(jiǎn)單的代碼生成程序\t175
9．3．1 待用信息和活躍信息\t175
9．3．2 寄存器描述和地址描述\t175
9．3．3 代碼生成算法\t176
9．3．4 寄存器選擇函數(shù)\t177
9．3．5 為變址和指針語(yǔ)句產(chǎn)生代碼\t178
9．3．6 條件語(yǔ)句\t178
9．4 小結(jié)\t180
復(fù)習(xí)思考題\t180
附錄A C語(yǔ)言實(shí)現(xiàn)的實(shí)例語(yǔ)言編譯程序\t181
附錄B YACC語(yǔ)言實(shí)現(xiàn)的實(shí)例語(yǔ)言編譯程序\t184
參考文獻(xiàn)\t185