程序設(shè)計語言編譯原理

引論
0.1 什么叫編譯程序
0.2 編譯過程概述
0.3 編譯程序的結(jié)構(gòu)
0.3.1 編譯程序總框
0.3.2 表格與表格管理
0.3.3 遍
0.4 編譯程序的生成
0.5 學(xué)習(xí)構(gòu)選編譯程序
第一章 高級程序語言概述
1.1 程序語言的定義
1.1.1 語言的詞法和語法結(jié)構(gòu)
1.1.2 語義
1.2 初等類型數(shù)據(jù)
1.2.1 標識符和名字
1.2.2 名字的屬性和說明
1.3 數(shù)據(jù)結(jié)構(gòu)
1.3.1 數(shù)組
1.3.2 記錄結(jié)構(gòu)
1.3.3 字符串、表格和棧
1.4 表達式
1.5 語句
1.5.1 賦值句
1.5.2 控制語句
1.5.3 說明句
1.5.4 簡單句和復(fù)合句
1.6 程序段
1.6.1 FORTRAN
1.6.2 ALGOL
1.6.3 PASCAL
1.7 參數(shù)傳遞
1.7.1 參數(shù)
1.7.2 傳地址
1.7.3 傳值
1.7.4 傳名
1.8 存儲管理
1.8.1 靜態(tài)存儲分配
1.8.2 動態(tài)存儲分配
1.8.3 棧式動態(tài)存儲分配
1.8.4 堆式動態(tài)存儲分配
1.9 歷史回顧
第二章 詞法分析
2.1 對于詞法分析器的要求
2.1.1 詞法分析器的功能和輸出形式
2.1.2 詞法分析器作為一個獨立子程序
2.2 詞法分析器的設(shè)計
2.2.1 輸入、預(yù)處理
2.2.2 單詞符號的識別：超前搜索
2.2.3 狀態(tài)轉(zhuǎn)換圖
2.2.4 狀態(tài)轉(zhuǎn)換圖的實現(xiàn)
2.3 正規(guī)表達式與有限自動機
2.3.1 正規(guī)式與正規(guī)集
2.3.2 確定有限自動機（DFA）
2.3.3 非確定有限自動機（NFA）
2.3.4 正規(guī)式與有限自動機的等價性
2.3.5 確定有限自動機的化簡
2.4 詞法分析器的自動產(chǎn)生
2.4.1 語言LEX的一般描述
2.4.2 超前搜索
2.4.3 LEX的實現(xiàn)
第三章 程序語言的語法描述與分析
3.1 上下文無關(guān)文法
3.1.1 文法與語言
3.1.2 語法樹與二義性
3.1.3 形式語言鳥瞰
3.2 語法分析——自下而上分析
3.2.1 歸約與分析樹
3.2.2 規(guī)范歸納簡述
3.2.3 符號棧的使用與分析樹的表示
3.3 算符優(yōu)先分析法
3.3.1 直觀算符優(yōu)先分析法
3.3.2 算符優(yōu)先文法和優(yōu)先表構(gòu)造
3.3.3 算符優(yōu)先分析算法的設(shè)計
3.3.4 優(yōu)先函數(shù)
3.4 語法分析——由上而下分析
3.5 遞歸下降分析法
3.5.1 左遞歸的消除
3.5.2 消除回溯、提左因子和遞歸下降分拆器
3.5.3 文法的另一種表示法和轉(zhuǎn)換圖
3.5.4 預(yù)測分析程序
3.5.5 狀態(tài)表
第四章 語法分析程序的自動構(gòu)造
4.1 LR分析器
4.1.1 LR文法
4.1.2 一些非LR結(jié)構(gòu)
4.2 LR（0）項目集族和LR（0）分析表的構(gòu)造
4.2.1 LR（0）項目集規(guī)范族的構(gòu)造
4.2.2 有效項目
4.2.3 LR（0）分析表的構(gòu)造
4.3 SLR分析表的構(gòu)造
4.4 規(guī)范LR分析表的構(gòu)造
4.5 LALR分析表的構(gòu)造
4.6 二義文法的應(yīng)用
4.7 分析表的自動產(chǎn)生
4.7.1 終結(jié)符和產(chǎn)生式的優(yōu)先級
4.7.2 結(jié)合規(guī)則
4.8 LR分析表的實際安排
第五章 語法制導(dǎo)翻譯和中間代碼產(chǎn)生
5.1 語法制導(dǎo)翻譯概說
5.2 逆波蘭表示法
5.2.1 后綴式的計值
5.2.2 后綴式的推廣
5.2.3 語法制導(dǎo)生成后組式
5.3 三元式和樹
5.3.1 間接三元式
5.3.2 樹
5.4 四元式
5.5 簡單算術(shù)表達式和賦值句到四元式的翻譯
5.6 布爾表達式到四元式的翻譯
5.6.1 作為條件控制的布爾式翻譯
5.7 控制語句的翻譯
5.7.1 標號和轉(zhuǎn)移語句
5.7.2 條件語句
5.7.3 循環(huán)語句
5.7.4 分叉語句
5.8 數(shù)組元素引用
5.8.1 數(shù)組元素引用的中間代碼
5.8.2 賦值句中數(shù)組元素的翻譯
5.8.3 按列為序存放數(shù)組元素的情形
5.9 過程調(diào)用
5.9.1 過程調(diào)用的四元式產(chǎn)生
5.9.2 過程調(diào)用和數(shù)組元素相混淆的處理
5.10 說明語句的翻譯
5.11 記錄結(jié)構(gòu)
5.11.1 記錄說明的翻譯
5.11.2 記錄結(jié)構(gòu)的引用
5.12 輸入／輸出語句的翻譯
5.12.1 I／O語句的實現(xiàn)
5.12.2 I／O語句的翻譯
5.12.3 格式語句的處理
5.13 自上而下分析制導(dǎo)翻譯概說
第六章 符號表
6.1 符號表的組織和使用
6.2 整理與查找
6.2.1 線性表
6.2.2 對折查找與二叉樹
6.2.3 雜湊技術(shù)
6.3 名字的作用范圍
6.3.1 FORTRAN的符號表組織
6.3.2 ALGOL的符號表組織
6.4 符號表的內(nèi)容
第七章 運行的存儲空間組織
7.1 靜態(tài)存儲管理——FORTRAI存儲分配
7.1.1 數(shù)據(jù)區(qū)
7.1.2 公用語句的處理
7.1.3 等價語句的處理
7.1.4 地址分配
7.1.5 臨時變量的地址分配
7.2 一個簡單的棧式存儲分配的實現(xiàn)
7.2.1 C的活動記錄
7.2.2 C的過程調(diào)用, 過程進入數(shù)組空間分配和過程返回
7.3 嵌套過程語言的棧式實現(xiàn)
7.3.1 欲套層次顯示表DISPLAY和活動記錄
7.3.2 過程調(diào)用, 過程進入
7.3.3 參數(shù)傳遞
7.4 ALGOL的實現(xiàn)
7.4.1 分程序結(jié)構(gòu)
7.4.2 分程序的進入和退出
7.4.3 過程調(diào)用, 進入和返回
7.4.4 參數(shù)子程序
7.5 分程序結(jié)構(gòu)語言存儲分配拾遺
第八章 錯誤的診察和較正
8.1 出錯處理概述
8.1.1 語法錯誤
8.1..2 語義錯誤
8.1.3 錯誤處理
8.1.4 出錯處理系統(tǒng)與編譯程序各階段的聯(lián)系
8.2 詞法分析階段的錯誤診察
8.3 語法分析（自下而上）階段的錯誤診察
8.3.1 算符優(yōu)先分析法的錯誤處理
8.3.2 LR分析算法的錯誤處理
8.4 自上而下分析的錯誤診察
8.5 語義錯誤診察
8.5.1 遏止株連信息
8.5.2 遏止重復(fù)信息
第九章 代碼優(yōu)化
9.1 優(yōu)化概述
9.2 局部優(yōu)化
9.3 基本塊的DAG表示及其應(yīng)用
9.3.1 基本塊的DAG表示
9.3.2 DAG的應(yīng)用
9.3.3 DAG構(gòu)造算法討論
9.4 控制流程分析和循環(huán)查找算法
9.4.1 程序流圖與循環(huán)
9.4.2 必經(jīng)結(jié)點集
9.4.3 查找循環(huán)算法
9.4.4 可歸約流圖
9.4.5 深度為主查找及其算法
9.5 到達一定值與引用一定值鏈
9.5.1 到達一定值數(shù)據(jù)流方程
9.5.2 到達一定值數(shù)據(jù)流方程的求解
9.5.3 引用一定值鏈（ud鏈）
9.5.4 ud鏈的應(yīng)用
9.6 循環(huán)優(yōu)化
9.6.1 代碼外提
9.6.2 強度削弱
6.9.3 刪除歸納變量
第十章 數(shù)據(jù)流分析
10.1 活躍變量與定值-引用鍵（du鏈）
10.1.1 活躍變量的數(shù)據(jù)流方積
10.1.2 活躍變量數(shù)據(jù)流方程的求解
10.1.3 定值-引用鏈（du鏈）
10.1.4 活躍變量與du鏈的應(yīng)用
10.2 刪除全局公共子表達式
10.2.1 可用表達式及其數(shù)據(jù)流方程
10.2.2 可用表達式數(shù)據(jù)流方程的求解
10.2.3 刪除全局公共子表達式的算法
10.3 復(fù)寫傳播
10.4 非常忙表達式和代碼提升
10.4.1 非常忙表達式數(shù)據(jù)流方程
10.4.2 代碼提升
10.5 四類數(shù)據(jù)流方程小結(jié)
10.6 實施各種優(yōu)化的綜合考慮
第十一章 代碼生成
11.1 一個計算機模型
11.2 一個簡單代碼生成器
11.2.1 待用信息
11.2.2 寄存器描述和地址描述
11.2.3 代碼生成算法
11.3 寄存器分配
11.4 DAG的目標代碼
11.5 樹的目標代碼