編譯原理和技術

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