編譯原理（第二版）

第1章引論
1.1翻譯程序
1.1.1程序設計語言
1.1.2翻譯程序
1.2編譯程序的工作過程
1.3編譯程序的結構
1.4編譯程序的組織方式
1.5編譯程序的自展.移植與自動化
1.5.1高級語言的自編譯性
1.5.2編譯程序的自展技術
1.5.3編譯程序的移植
1.5.4編譯程序的自動化
1.6翻譯程序編寫系統(tǒng)
1.7并行編譯程序
1.8小結
習題一
第2章形式語言概論
2.1字母表和符號串
2.2文法及其分類
2.2.1文法
2.2.2文法分類
2.2.3文法舉例
2.3語言和語法樹
2.3.1推導和規(guī)范推導
2.3.2句型.句子和語言
2.3.3語法樹
2.3.4產(chǎn)生式樹
2.4關于文法和語言的幾點說明
2.5分析方法簡介
2.5.1自上而下分析方法
2.5.2確定的自上而下分析方法
2.5.3自下而上分析方法
2.6小結
習題二
第3章有窮自動機
3.1有窮自動機的形式定義
3.1.1狀態(tài)轉換表
3.1.2狀態(tài)轉換圖
3.1.3自動機的等價性
3.1.4非確定有窮自動機
3.2NDFA到DFA的轉換
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的對應性
3.4.3正規(guī)表達式到NDFA的轉換
3.4.4NDFA到正規(guī)表達式的轉換
3.4.5從正規(guī)文法到正規(guī)表達式
3.5DFA在計算機中的表示
3.5.1矩陣表示法
3.5.2表結構
3.6小結
習題三
第4章詞法分析
4.1詞法分析器與單詞符號
4.1.1詞法分析器
4.1.2單詞符號
4.2掃描程序的設計
4.2.1預處理
4.2.2狀態(tài)轉換圖
4.2.3根據(jù)狀態(tài)圖設計詞法分析程序
4.3標識符的處理
4.3.1類型的機內(nèi)表示
4.3.2標識符的語義表示
4.3.3符號表(標識符表)
4.3.4標識符處理的基本思想
4.4設計詞法分析程序的直接方法
4.4.1由正規(guī)文法設計詞法分析程序
4.4.2由正規(guī)表達式設計詞法分析程序
4.5小結
習題四
第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的構造
5.3確定的LL(1)分析器的構造
5.3.1構造分析表M的算法
5.3.2LL(1)分析器的總控算法
5.4遞歸下降分析程序及其設計
5.4.1框圖設計
5.4.2程序設計
5.5帶回溯的自上而下分析法
5.5.l文法在內(nèi)存中的存放形式
5.5.2其它信息的存放
5.5.3帶回溯的自上而下分析算法
5.6小結
習題五
第6章自下而上分析和優(yōu)先分析方法
6.1自下而上分析
6.2短語和句柄
6.3移進·歸約方法
6.4有關文法的一些關系
6.4.1關系
6.4.2布爾矩陣和關系
6.4.3Warshall算法
6.4.4關系F1RST與LAST
6.5簡單優(yōu)先分析方法
6.5.1優(yōu)先關系
6.5.2簡單優(yō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)先關系的構造
6.6.3素短語及句型的分析
6.6.4算符優(yōu)先分析算法
6.7優(yōu)先函數(shù)及其構造
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小結
習題六
第7章自-F而上的LR(k)分析方法
7.1LR(k)文法和LR(k)分析器
7.2LR(0)分析表的構造
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構造LR(0)分析表的算法
7.2.11構造LR(0)分析表的步驟小結
7.3SLR分析表的構造
7.4規(guī)范LR(1)分析表的構造
7.5LALR分析表的構造
7.6無二義性規(guī)則的使用
7.7小結
7.7.1LR分析程序
7.7.2LR分析表的自動構造
7.7.3文法間的關系
7.7.4LR文法舉例
7.7.5有關LR文法的幾個結論
習題七
第8章語法制導翻譯法
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抽象語法樹的構造
8.4.1自下而上構造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屬性翻譯文法的應用
8.7.1綜合屬性與自下而上定值
8.7.2繼承屬性和自上而下定值
8.7.3布爾表達式到四元式的翻譯
8.7.4條件語句的翻譯
8.7.5迭代語句的翻譯
8.8小結
習題八
第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記錄結構的存儲分配
9.5參數(shù)傳遞方式及其實現(xiàn)
9.5.1換名
9.5.2傳值
9.5.3傳地址
9.5.4傳結果
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小結
習題九
第10章符號表的組織和查找
10.1符號表的一般組織形式
10.2符號表中的數(shù)據(jù)
10.3符號表的構造與查找
10.2.1線性查找
10.3.2折半法
10.3.3雜湊技術
10.4分程序結構的符號表
10.5小結
習題十
第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小結
習題十一
第12章代碼生成
12.1假想的計算機模型
12.2從四元式生成代碼
12.3從三元式生成代碼
12.4從樹型表示生成代碼
12.5從逆波蘭表示生成代碼
12.6寄存器的分配
12.7小結
習題十二
第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單詞和非終結符
14.2.2定義部分
14.2.3語法規(guī)則部分
14.3語義定義
14.3.1單詞語義值的汁算
14.3.2非終結符語義值的計算
14.3.3在規(guī)則中部的語義動作
14.4歸約-歸約沖突和上下文相關性的處理
14.5出錯處理和恢復
14.6輸出分析器的調(diào)試
14.7YACC和LEX的接口
14.8BYACC的命令選項
14.9舉例
習題十四
參考文獻