編譯原理實用教程（本科）

第1章 編譯系統(tǒng)概述 1
習(xí)題 5
第2章 詞法分析 6
2.1 詞法分析器的設(shè)計考慮及手工構(gòu)造 6
2.1.1 單詞類型及二元式編碼 6
2.1.2 源程序的輸入及預(yù)處理 7
2.1.3 基本字的識別和超前搜索 10
2.1.4 狀態(tài)轉(zhuǎn)換圖和詞法分析器的手工構(gòu)造 11
2.1.5 詞法分析器手工構(gòu)造實例 14
2.2 正規(guī)式. 自動機及詞法分析器的自動生成 18
2.2.1 基本概念 19
2.2.2 正規(guī)式與正規(guī)集 20
2.2.3 確定有限自動機 22
2.2.4 非確定有限自動機 23
2.2.5 NFA的確定化 24
2.2.6 正規(guī)式的NFA表示 26
2.2.7 正規(guī)式與確定有限自動機的等價性 27
2.3 詞法分析器的自動生成 28
2.3.1 自動生成過程概述 29
2.3.2 掃描器控制程序工作原理 31
2.3.3 掃描器控制程序的實現(xiàn) 32
習(xí)題 36
第3章 程序設(shè)計語言的語法描述 44
3.1 文法的引入 44
3.1.1 語法樹 44
3.1.2 語法規(guī)則和句子推導(dǎo) 45
3.1.3 遞歸規(guī)則和遞歸文法 47
3.2 上下文無關(guān)文法 48
3.2.1 文法和語言 48
3.2.2 文法的二義性 51
3.3 文法舉例 53
習(xí)題 54
第4章 自上而下的語法分析 60
4.1 帶回溯的自上而下分析法概述 60
4.2 直接左遞歸的消除 62
4.3 不帶回溯的自上而下分析法的基本原理 63
4.4 提取左因子 66
4.5 first集和follow集 67
4.5.1 first集的定義及構(gòu)造算法 67
4.5.2 follow集的定義及構(gòu)造算法 69
4.6 遞歸下降分析法 71
4.7 預(yù)測分析法 75
4.7.1 預(yù)測分析表的構(gòu)造 75
4.7.2 預(yù)測分析控制程序 76
4.7.3 預(yù)測分析程序討論 82
4.7.4 應(yīng)用舉例 84
習(xí)題 86
第5章 自下而上的語法分析 95
5.1 自下而上的語法分析概述 95
5.2 LR分析法的基本原理 99
5.3 LR 0 項目集規(guī)范族的構(gòu)造 102
5.4 有效項目 104
5.5 LR 0 分析表的構(gòu)造 105
5.6 SLR 1 分析表的構(gòu)造 107
5.7 LR語法分析器的控制程序 111
5.8 二義文法在LR分析法中的應(yīng)用 115
5.9 應(yīng)用舉例 117
5.10 LR分析法在詞法分析器自動構(gòu)造中的應(yīng)用 120
5.10.1 模型語言的詞法描述及SLR分析表 120
5.10.2 使用SLR分析表識別單詞的基本原理 122
5.10.3 LR分析控制程序的修改 123
5.10.4 掃描器的設(shè)計 124
5.10.5 LR_LEX中的分析表最小化 126
習(xí)題 128
第6章 語法制導(dǎo)翻譯和中間代碼生成 137
6.1 語法制導(dǎo)翻譯概述 138
6.2 符號表和常數(shù)表 141
6.3 中間代碼 142
6.3.1 三元式 142
6.3.2 四元式 143
6.4 說明語句的翻譯 145
6.5 整型算術(shù)表達(dá)式及賦值語句的翻譯 146
6.6 混合型算術(shù)表達(dá)式及賦值語句的翻譯 149
6.7 布爾表達(dá)式的翻譯 152
6.8 標(biāo)號和無條件轉(zhuǎn)移語句的翻譯 160
6.9 控制語句的翻譯 163
6.9.1 if-then語句的翻譯 164
6.9.2 if-then-else語句的翻譯 165
6.9.3 while-do語句的翻譯 167
6.9.4 復(fù)合語句的翻譯 169
6.10 小結(jié) 170
習(xí)題 171
第7章 目標(biāo)代碼生成 178
7.1 目標(biāo)計算機的虛擬實現(xiàn) 178
7.2 語法制導(dǎo)翻譯在匯編程序自動構(gòu)造中的應(yīng)用 181
7.2.1 虛擬機匯編語言的文法和SLR 1 分析表的構(gòu)造 181
7.2.2 虛擬機匯編語言的單詞編碼表和詞法分析 182
7.2.3 虛擬機匯編語言的語義和語法制導(dǎo)翻譯 184
7.3 從四元式到匯編語言的翻譯 187
習(xí)題 191
附錄 194
附錄A 虛擬機匯編程序使用說明 194
附錄B 配套軟件的文件清單 196
附錄C 程序源代碼的說明 197
參考文獻(xiàn) 198