編譯原理（第二版）

第1章引論
1.1翻譯程序
1.1.1程序設(shè)計語言
1.1.2翻譯程序
1.2編譯程序的工作過程
1.3編譯程序的結(jié)構(gòu)
1.4編譯程序的組織方式
1.5編譯程序的自展.移植與自動化
1.5.1高級語言的自編譯性
1.5.2編譯程序的自展技術(shù)
1.5.3編譯程序的移植
1.5.4編譯程序的自動化
1.6翻譯程序編寫系統(tǒng)
1.7并行編譯程序
1.8小結(jié)
習題一
第2章形式語言概論
2.1字母表和符號串
2.2文法及其分類
2.2.1文法
2.2.2文法分類
2.2.3文法舉例
2.3語言和語法樹
2.3.1推導(dǎo)和規(guī)范推導(dǎo)
2.3.2句型.句子和語言
2.3.3語法樹
2.3.4產(chǎn)生式樹
2.4關(guān)于文法和語言的幾點說明
2.5分析方法簡介
2.5.1自上而下分析方法
2.5.2確定的自上而下分析方法
2.5.3自下而上分析方法
2.6小結(jié)
習題二
第3章有窮自動機
3.1有窮自動機的形式定義
3.1.1狀態(tài)轉(zhuǎn)換表
3.1.2狀態(tài)轉(zhuǎn)換圖
3.1.3自動機的等價性
3.1.4非確定有窮自動機
3.2NDFA到DFA的轉(zhuǎn)換
3.2.1空移環(huán)路的尋找和消除
3.2.2消除空移
3.2.3確定化--子集法
3.2.4確定化--造表法
3.2.5NDFA的確定化
3.2.6消除不可達狀態(tài)
3.2.7DFA的化簡
3.2.8從化簡后的DFA到程序表示
3.3正規(guī)文法與有窮自動機
3.3.1從正規(guī)文法到FA
3.3.2從FA到正規(guī)文法
3.4正規(guī)表達式與FA
3.4.1正規(guī)表達式的定義
3.4.2正規(guī)表達式與FA的對應(yīng)性
3.4.3正規(guī)表達式到NDFA的轉(zhuǎn)換
3.4.4NDFA到正規(guī)表達式的轉(zhuǎn)換
3.4.5從正規(guī)文法到正規(guī)表達式
3.5DFA在計算機中的表示
3.5.1矩陣表示法
3.5.2表結(jié)構(gòu)
3.6小結(jié)
習題三
第4章詞法分析
4.1詞法分析器與單詞符號
4.1.1詞法分析器
4.1.2單詞符號
4.2掃描程序的設(shè)計
4.2.1預(yù)處理
4.2.2狀態(tài)轉(zhuǎn)換圖
4.2.3根據(jù)狀態(tài)圖設(shè)計詞法分析程序
4.3標識符的處理
4.3.1類型的機內(nèi)表示
4.3.2標識符的語義表示
4.3.3符號表(標識符表)
4.3.4標識符處理的基本思想
4.4設(shè)計詞法分析程序的直接方法
4.4.1由正規(guī)文法設(shè)計詞法分析程序
4.4.2由正規(guī)表達式設(shè)計詞法分析程序
4.5小結(jié)
習題四
第5章自上而下語法分析
5.1消除左遞歸方法
5.1.1文法的左遞歸性
5.1.2用擴展的BNF表示法消除左遞歸
5.1.3直接改寫法
5.1.4消除左遞歸算法
5.2LL(k)文法
5.2.1LL(1)文法的判斷條件
5.2.2集合F)RST.FOLLOW與SELECT的構(gòu)造
5.3確定的LL(1)分析器的構(gòu)造
5.3.1構(gòu)造分析表M的算法
5.3.2LL(1)分析器的總控算法
5.4遞歸下降分析程序及其設(shè)計
5.4.1框圖設(shè)計
5.4.2程序設(shè)計
5.5帶回溯的自上而下分析法
5.5.l文法在內(nèi)存中的存放形式
5.5.2其它信息的存放
5.5.3帶回溯的自上而下分析算法
5.6小結(jié)
習題五
第6章自下而上分析和優(yōu)先分析方法
6.1自下而上分析
6.2短語和句柄
6.3移進·歸約方法
6.4有關(guān)文法的一些關(guān)系
6.4.1關(guān)系
6.4.2布爾矩陣和關(guān)系
6.4.3Warshall算法
6.4.4關(guān)系F1RST與LAST
6.5簡單優(yōu)先分析方法
6.5.1優(yōu)先關(guān)系
6.5.2簡單優(yōu)先關(guān)系的形式化構(gòu)造方法
6.5.3簡單優(yōu)先文法及其分析算法
6.5.4簡單優(yōu)先分析方法的局限性
6.6算符優(yōu)先分析方法
6.6.1算符優(yōu)先文法
6.6.2OPG優(yōu)先關(guān)系的構(gòu)造
6.6.3素短語及句型的分析
6.6.4算符優(yōu)先分析算法
6.7優(yōu)先函數(shù)及其構(gòu)造
6.7.1優(yōu)先函數(shù)
6.7.2Bell方法
6.7.3Floyd方法
6.7.4兩種方法的比較
6.7.5運用優(yōu)先函數(shù)進行分析
6.8兩種優(yōu)先分析方法的比較
6.9小結(jié)
習題六
第7章自-F而上的LR(k)分析方法
7.1LR(k)文法和LR(k)分析器
7.2LR(0)分析表的構(gòu)造
7.2.1規(guī)范句型的活前綴
7.2.2LR(p)項目
7.2.3文法G的拓廣文法
7.2.4CL()SURE(1)函數(shù)
7.2.5goto(I.X)函數(shù)
7.2.6LR(0)項目集規(guī)范族
7.2.7有效項目
7.2.8舉例
7.2.9LR(0)文法
7.2.10構(gòu)造LR(0)分析表的算法
7.2.11構(gòu)造LR(0)分析表的步驟小結(jié)
7.3SLR分析表的構(gòu)造
7.4規(guī)范LR(1)分析表的構(gòu)造
7.5LALR分析表的構(gòu)造
7.6無二義性規(guī)則的使用
7.7小結(jié)
7.7.1LR分析程序
7.7.2LR分析表的自動構(gòu)造
7.7.3文法間的關(guān)系
7.7.4LR文法舉例
7.7.5有關(guān)LR文法的幾個結(jié)論
習題七
第8章語法制導(dǎo)翻譯法
8.1一般原理和樹變換
8.1.1一般原理
8.1.2樹變換
8.2簡單SDTS和自上而下翻譯器
8.3簡單后綴SDTS和自下而上翻譯器
8.3.1后綴翻譯
8.3.2IF-THEN-ELSE控制語句
8.3.3函數(shù)調(diào)用
8.4抽象語法樹的構(gòu)造
8.4.1自下而上構(gòu)造AST
8.4.2AST的拓廣
8.5屬性文法
8.5.1L屬性文法
8.5.2S屬性文法
8.6中間代碼形式
8.6.1逆波蘭表示法
8.6.2逆波蘭表示法的推廣
8.6.3四元式
8.6.4三元式
8.7屬性翻譯文法的應(yīng)用
8.7.1綜合屬性與自下而上定值
8.7.2繼承屬性和自上而下定值
8.7.3布爾表達式到四元式的翻譯
8.7.4條件語句的翻譯
8.7.5迭代語句的翻譯
8.8小結(jié)
習題八
第9章運行時的存儲組織與管理
9.1數(shù)據(jù)區(qū)和屬性字
9.2基本數(shù)據(jù)類型的存儲分配
9.3數(shù)組的存儲分配
9.3.1單塊存儲方式
9.3.2信息向量與數(shù)組分配程序
9.3.3多塊存儲方式
9.4記錄結(jié)構(gòu)的存儲分配
9.5參數(shù)傳遞方式及其實現(xiàn)
9.5.1換名
9.5.2傳值
9.5.3傳地址
9.5.4傳結(jié)果
9.5.5數(shù)組名用做實參
9.5.6過程名用做實參
9.6棧式存儲分配方法
9.6.1概述
9.6.2現(xiàn)行DISPLAY和現(xiàn)行數(shù)據(jù)區(qū)
9.6.3標識符的作用域
9.6.4分程序的人口和出口工作
9.6.5過程調(diào)用時的存儲管理
9.7堆式存儲分配方法
9.8臨時工作單元的存儲分配
9.9小結(jié)
習題九
第10章符號表的組織和查找
10.1符號表的一般組織形式
10.2符號表中的數(shù)據(jù)
10.3符號表的構(gòu)造與查找
10.2.1線性查找
10.3.2折半法
10.3.3雜湊技術(shù)
10.4分程序結(jié)構(gòu)的符號表
10.5小結(jié)
習題十
第11章優(yōu)化
11.1基本塊及其求法
11.2優(yōu)化舉例
11.3利用變量的定義點進行優(yōu)化
11.3.1變量的定義點
11.3.2循環(huán)中不變式的外提
11.3.3運算強度削弱
11.3.4公共表達式的消除
11.3.5常量合并
11.4循環(huán)優(yōu)化
11.5借助DAG進行優(yōu)化
11.6并行分支的優(yōu)化
11.7窺孔優(yōu)化
11.8小結(jié)
習題十一
第12章代碼生成
12.1假想的計算機模型
12.2從四元式生成代碼
12.3從三元式生成代碼
12.4從樹型表示生成代碼
12.5從逆波蘭表示生成代碼
12.6寄存器的分配
12.7小結(jié)
習題十二
第13章詞法分析器生成工具LEX
13.1LEX簡介
13.2LEX源文件的格式
13.2.1模式
13.2.2定義部分
13.2.3規(guī)則部分
13.2.4用戶代碼部分
13.3LEX的工作原理
13.4yylex()函數(shù)的匹配原則
13.5識別模式后處理
13.6條件模式
13.7FLEX的命令選項
13.8舉例
習題十三
第14章語法分析器生成工具YACC
14.1YACC簡介
14.2YACC源文件的格式
14.2.1單詞和非終結(jié)符
14.2.2定義部分
14.2.3語法規(guī)則部分
14.3語義定義
14.3.1單詞語義值的汁算
14.3.2非終結(jié)符語義值的計算
14.3.3在規(guī)則中部的語義動作
14.4歸約-歸約沖突和上下文相關(guān)性的處理
14.5出錯處理和恢復(fù)
14.6輸出分析器的調(diào)試
14.7YACC和LEX的接口
14.8BYACC的命令選項
14.9舉例
習題十四
參考文獻