編譯原理和技術(shù)

第1章 編譯概述
1.1 翻譯和解釋
1.2 編譯程序的組成部分
1.2.1 分析
1.2.2 綜合
1.2.3 表格管理
1.2.4 錯(cuò)誤處理
1.3 編譯程序的組織
第2章 程序語(yǔ)言的基本知識(shí)
2.1 符號(hào)串的集合
2.1.1 字母表
2.1.2 符號(hào)串
2.1.3 語(yǔ)言
2.2 文法和語(yǔ)言
2.2.1 引言
2.2.2 文法和語(yǔ)言的形式定義
2.3 分析樹和二義性
2.3.1 分析樹
2.3.2 分析樹的構(gòu)造
2.3.3 二義性
2.4 形式語(yǔ)言概觀
2.4.1 形式語(yǔ)言分類
2.4.2 非上下文無關(guān)的語(yǔ)言結(jié)構(gòu)
2.4.3 上下文無關(guān)語(yǔ)言和正則語(yǔ)言的區(qū)別
練習(xí)
第3章 詞法分析
3.1 詞法分析程序的設(shè)計(jì)
3.1.1 詞法分析程序的功能
3.1.2 單詞的詞類和屬性
3.1.3 詞法分析程序作為一個(gè)獨(dú)立子程序
3.2 詞法分析程序的手工構(gòu)造
3.2.1 確定的有限自動(dòng)機(jī)
3.2.2 構(gòu)造識(shí)別單詞的：DFA
3.2.3 編寫詞法分析程序
3.3 有限自動(dòng)機(jī)
3.3.1 非確定有限自動(dòng)機(jī)
3.3.2 確定的有限自動(dòng)機(jī)的化簡(jiǎn)
3.4 正規(guī)表達(dá)式與有限自動(dòng)機(jī)
3.4.1 正規(guī)表達(dá)式與單詞
3.4.2 正規(guī)表達(dá)式與有限自動(dòng)機(jī)的等價(jià)性
3.5 詞法分析程序的自動(dòng)構(gòu)造工具
練習(xí)
第4章 語(yǔ)法分析
4.1 語(yǔ)法分析器概述
4.2 預(yù)測(cè)分析器
4.2.1 預(yù)測(cè)分析
4.2.2 遞歸預(yù)測(cè)分析器的構(gòu)造
4.2.3 非遞歸的預(yù)測(cè)分析器的構(gòu)造
4.3 書寫文法
4.3.1 消除左遞歸
4.3.2 提取左因子
4.4 自底向上分析
4.4.1 規(guī)范歸約
4.4.2 “移進(jìn)一歸約”分析法的棧實(shí)現(xiàn)
4.5 算符優(yōu)先分析法
4.5.1 利用算符優(yōu)先關(guān)系尋找右句型的可歸約串
4.5.2 算符優(yōu)先關(guān)系表的構(gòu)造
4.5.3 優(yōu)先函數(shù)
4.5.4 算符優(yōu)先分析法的錯(cuò)誤處理示例
4.6 LR分析器
4.6.1 LR分析器的邏輯結(jié)構(gòu)及工作過程
4.6.2 SLR分析表的構(gòu)造
4.6.3 LR(1)分析表的構(gòu)造
4.6.4 LALR分析表的構(gòu)造
4.7 LR分析方法對(duì)二義文法的應(yīng)用
4.8 分析器的生成器Yacc
4.8.1 引言
4.8.2 書寫Yacc的源程序
4.8.3 用Yacc處理二義文法
4.8.4 用Lex建立Yacc的詞法分析器
4.8.5 Yacc的錯(cuò)誤恢復(fù)
練習(xí)
第5章 語(yǔ)法制導(dǎo)翻譯
5.1 語(yǔ)法制導(dǎo)定義
5.1.1 語(yǔ)法制導(dǎo)定義的形式
5.1.2 綜合屬性
5.1.3 繼承屬性
5.1.4 依賴圖
5.1.5 計(jì)算順序
5.2 語(yǔ)法樹的構(gòu)造
5.2.1 語(yǔ)法樹
5.2.2 建立表達(dá)式的語(yǔ)法樹
5.2.3 建立語(yǔ)法樹的語(yǔ)法制導(dǎo)定義
5.2.4 關(guān)于表達(dá)式的有向非循環(huán)圖
5.3 S-屬性定義及其自底向上的計(jì)算
5.4 L-屬性定義
5.4.1 L-屬性定義的含義
5.4.2 翻譯模式
5.5 自頂向下的翻譯
5.5.1 從翻譯模式中消除左遞歸
5.5.2 預(yù)測(cè)翻譯器的設(shè)計(jì)
5.6 自底向上計(jì)算繼承屬性
5.6.1 從翻譯模式中去掉嵌入的動(dòng)作
5.6.2 分析棧中的繼承屬性
5.6.3 模擬繼承屬性的計(jì)算
練習(xí)
第6章 運(yùn)行時(shí)刻環(huán)境的組織
6.1 有關(guān)源語(yǔ)言中的一些問題的討論
6.1.1 過程
6.1.2 活動(dòng)樹
6.1.3 控制棧
6.1.4 說明的作用域
6.1.5 名字的綁定
6.1.6 提出的問題
6.2 存儲(chǔ)組織
6.2.1 運(yùn)行時(shí)刻內(nèi)存的劃分
6.2.2 活動(dòng)記錄
6.2.3 編譯時(shí)刻的局部數(shù)據(jù)的設(shè)計(jì)
6.3 運(yùn)行時(shí)刻存儲(chǔ)分配策略
6.3.1 靜態(tài)存儲(chǔ)分配
6.3.2 棧式存儲(chǔ)分配
6.3.3 堆式存儲(chǔ)分配
6.4 對(duì)非局部名字的訪問
6.4.1 塊
6.4.2 不含嵌套過程的詞法作用域
6.4.3 含有嵌套過程的詞法作用域
6.4.4 動(dòng)態(tài)作用域
6.5 參數(shù)傳遞
6.5.1 傳值調(diào)用
6.5.2 引用調(diào)用
6.5.3 復(fù)制恢復(fù)
6.5.4 傳名調(diào)用
6.5.5 過程作為參數(shù)
6.6 符號(hào)表
6.6.1 符號(hào)表的作用
6.6.2 符號(hào)表的表項(xiàng)
6.6.3 符號(hào)表的存儲(chǔ)結(jié)構(gòu)
練習(xí)
第7章 中間代碼生成
7.1 中間語(yǔ)言
7.1.1 圖表示法
7.1.2 三地址代碼
7.1.3 三地址語(yǔ)句的種類
7.1.4 語(yǔ)法制導(dǎo)翻譯生成三地址代碼
7.1.5 三地址代碼的具體實(shí)現(xiàn)
7.2 類型檢查
7.2.1 類型表達(dá)式
7.2.2 類型表達(dá)式的等價(jià)
7.2.3 類型檢查
7.2.4 類型轉(zhuǎn)換
7.3 說明語(yǔ)句
7.3.1 過程中的說明語(yǔ)句
7.3.2 保留作用域信息
7.3.3 記錄中的域名
7.4 賦值語(yǔ)句
7.4.1 符號(hào)表中的名字
7.4.2 數(shù)組元素地址分配
7.4.3 訪問數(shù)組元素的翻譯模式
7.4.4 訪問記錄中的域
7.5 布爾表達(dá)式和控制流語(yǔ)句
7.5.1 翻譯布爾表達(dá)式的方法
7.5.2 數(shù)值表示法
7.5.3 控制流語(yǔ)句
7.5.4 控制流語(yǔ)句中布爾表達(dá)式的翻譯
7.6 CASE語(yǔ)句
7.7 回填
7.7.1 使用回填翻譯布爾表達(dá)式
7.7.2 使用回填翻譯控制流語(yǔ)句
7.7.3 標(biāo)號(hào)和轉(zhuǎn)移語(yǔ)句
7.8 過程調(diào)用
練習(xí)
第8章 代碼生成
8.1 目標(biāo)機(jī)器
8.2 運(yùn)行存儲(chǔ)管理
8.2.1 靜態(tài)分配管理
8.2.2 棧式分配管理
8.2.3 名字的運(yùn)行地址
8.3 基本塊和流圖
8.3.1 基本塊
8.3.2 流圖
8.4 下次引用信息
8.5 一個(gè)簡(jiǎn)單的代碼生成器
8.5.1 寄存器描述器和地址描述器
8.5.2 代碼生成算法
8.6 基本塊的dag表示法
8.6.1 dag的構(gòu)造
8.6.2 dag的應(yīng)用
8.7 從dag生成目標(biāo)代碼
練習(xí)
第9章 中間代碼的優(yōu)化
9.1 引言
9.1.1 代碼優(yōu)化的標(biāo)準(zhǔn)
9.1.2 爭(zhēng)取較好的性能
9.1.3 優(yōu)化編譯器的組織
9.2 優(yōu)化的主要種類
9.2.1 公共子表達(dá)式
9.2.2 復(fù)寫傳播
9.2.3 死代碼刪除
9.2.4 循環(huán)優(yōu)化
9.3 流圖中的循環(huán)
9.3.1 必經(jīng)結(jié)點(diǎn)
9.3.2 自然循環(huán)
9.3.3 內(nèi)循環(huán)
9.3.4 前置結(jié)點(diǎn)
9.3.5 歸約流圖
9.4 全局?jǐn)?shù)據(jù)流分析介紹
9.4.1 點(diǎn)和路徑
9.4.2 到達(dá)一定值
9.4.3 集合的表示
9.4.4 局部的到達(dá)一定值
9.4.5 引用一定值鏈
9.5 數(shù)據(jù)流方程的迭代求解
9.5.1 到達(dá)一定值的迭代算法
9.5.2 可用表達(dá)式
9.5.3 活躍變量分析
9.5.4 定值一引用鏈
9.5.5 流圖結(jié)點(diǎn)的深度優(yōu)先次序
9.5.6 用深度優(yōu)先次序改進(jìn)數(shù)據(jù)流求解算法
9.6 優(yōu)化的實(shí)現(xiàn)
9.6.1 刪除公共子表達(dá)式
9.6.2 復(fù)寫傳播
9.6.3 尋找循環(huán)不變計(jì)算
9.6.4 代碼外提
9.6.5 代碼外提后維持?jǐn)?shù)據(jù)流信息
9.6.6 歸納變量
9.6.7 有循環(huán)不變計(jì)算的歸納變量
練習(xí)
參考文獻(xiàn)