編譯程序原理與技術(shù)

     目錄
    序言
   1 引論
    1.1 什么是編譯程序
    1.2 解釋性程序
    1.3 編譯程序的基本結(jié)構(gòu)
    1.4 程序語(yǔ)言的語(yǔ)法與語(yǔ)義
    1.5 程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、編譯程序設(shè)計(jì)及計(jì)算機(jī)設(shè)計(jì)之間的關(guān)系
    練習(xí)1
   2 一個(gè)簡(jiǎn)單的編譯程序
    2.1 語(yǔ)言（XL）概述
    2.2 XL的詞法分析程序
    2.3 XL遞歸下降分析
    2.4 生成中間代碼
    2.4.1 中間語(yǔ)言
    2.4.2 臨時(shí)變量
    2.4.3 動(dòng)作符號(hào)
    2.4.4 語(yǔ)義信息
    練習(xí)2
   3 詞法分析
    3.1 輸入子系統(tǒng)
    3.2 詞法分析的兩個(gè)途徑
    3.3 正規(guī)表達(dá)式
    3.3.1 基本定義
    3.3.2 正規(guī)表達(dá)式
    3.4 有限自動(dòng)機(jī)
    3.5 從正規(guī)表達(dá)式到詞法分析程序
    3.6 LEX——一個(gè)建立詞法分析器的自動(dòng)工具
    3.7 實(shí)踐中的幾個(gè)問(wèn)題
    3.7.1 保留字
    3.7.2 向前看多字符問(wèn)題
    3.7.3 詞法錯(cuò)誤的矯正
    3.8 正規(guī)表達(dá)式到有限自動(dòng)機(jī)的轉(zhuǎn)換
    3.8.1 把正規(guī)表達(dá)式轉(zhuǎn)換為NFA
    3.8.2 從NFA到DFA的轉(zhuǎn)換——子集構(gòu)造法
    3.8.3 DFA的優(yōu)化——極小化
    練習(xí)3
   4 上下文無(wú)關(guān)文法與分析
    4.1 基本概念與定義
    4.2 推導(dǎo)與分析樹(shù)
    4.3 文法的設(shè)計(jì)
    4.3.1 右線性文法
    4.3.2 驗(yàn)證由文法生成的語(yǔ)言
    4.3.3 消除歧義
    4.3.4 遞歸文法
    4.3.5 提左公因子
    4.4 文法分析算法
    4.4.1 空串非終結(jié)符
    4.4.2 FIRST集合及其計(jì)算
    4.4.3 FOLLOW集合及其計(jì)算
    4.5 上下文無(wú)關(guān)文法的限度
    練習(xí)4
   5 LL（1）文法與分析器
    5.1 自上而下分析與下推自動(dòng)機(jī)
    5.1.1 作為下推自動(dòng)機(jī)的遞歸下降分析器
    5.1.2 利用下推自動(dòng)機(jī)進(jìn)行自上而下的分析算法
    5.2 LL（1）預(yù)測(cè)函數(shù)
    5.3 LL（1）分析表
    5.4 一個(gè)LL（1）分析表及驅(qū)動(dòng)程序?qū)嵗?br />     5.5 LL的自動(dòng)生成工具
    5.5.1 LLama
    5.5.2 LLGen
    5.6 LL（1）文法的構(gòu)造
    5.7 自上而下分析中的查錯(cuò)恢復(fù)問(wèn)題
    練習(xí)5
   6 LR分析
    6.1 自下而上的分析過(guò)程——移入歸約分析
    6.2 利用狀態(tài)機(jī)實(shí)現(xiàn)對(duì)LR分析器的控制
    6.3 建立LR分析表的基本理論
    6.3.1 LR（0）文法
    6.3.2 SLR（1）文法
    6.3.3 LR（1）文法
    6.3.4 LALR（1）文法
    6.4 LR分析表的壓縮表示
    6.5 歧義文法的利用
    6.6 LR分析中的查錯(cuò)恢復(fù)問(wèn)題
    6.7 LALR（1）分析器的自動(dòng)生成工具——YACC與OCCS
    6.7.1 YACC程序
    6.7.2 YACC中如何利用歧義文法
    6.7.3 利用Lex建立YACC的詞法分析程序
    6.7.4YACC中的查錯(cuò)恢復(fù)方法
    練習(xí)6
   7 語(yǔ)法制導(dǎo)的翻譯
    7.1 增廣文法
    7.2 屬性文法
    7.3 LL分析中的語(yǔ)義處理技術(shù)
    7.3.1 表驅(qū)動(dòng)的LL分析中使用的增廣文法
    7.3.2 下推自動(dòng)機(jī)中屬性文法的實(shí)施
    7.3.3 LL中屬性的＄表示法
    7.4 LR分析中的語(yǔ)義處理技術(shù)
    7.4.1 LR分析中屬性處理的特點(diǎn)
    7.4.2 一個(gè)LR語(yǔ)義處理流程的例子
    7.4.3 建立LR分析用的屬性文法及LR分析中屬性的＄表示法
    7.4.4 嵌入動(dòng)作與語(yǔ)法變換
    7.5 語(yǔ)義棧的類(lèi)型描述
    7.6 中間語(yǔ)言表示——IR
    7.6.1 IR的一般形式
    7.6.2 C代碼：一種簡(jiǎn)單的中間語(yǔ)言與虛擬機(jī)
    7.6.2.1 C虛擬機(jī)
    7.6.2.2 C虛擬機(jī)的存儲(chǔ)管理
    7.6.2.3 C代碼描述
    練習(xí)7
   8 符號(hào)表
    8.1 符號(hào)表模塊的基本結(jié)構(gòu)
    8.2 符號(hào)表數(shù)據(jù)庫(kù)的數(shù)據(jù)結(jié)構(gòu)
    8.3 一個(gè)分程序結(jié)構(gòu)的哈希符號(hào)表
    8.3.1 基本數(shù)據(jù)結(jié)構(gòu)
    8.3.2 分程序結(jié)構(gòu)
    8.3.3 一種簡(jiǎn)單的分程序結(jié)構(gòu)符號(hào)表的實(shí)現(xiàn)方法
    8.3.4 符號(hào)表的高級(jí)維護(hù)層
    練習(xí)8
   9 運(yùn)行時(shí)存儲(chǔ)器的組織
    9.1 靜態(tài)分配
    9.2 棧式分配
    9.3 堆式分配
    9.4 靜態(tài)鍵與動(dòng)態(tài)鍵
    練習(xí)9
   10 聲明的語(yǔ)義處理技術(shù)
    10.1 簡(jiǎn)單變量聲明的處理
    10.2 結(jié)構(gòu)與聯(lián)合聲明的處理
    10.3 枚舉類(lèi)型聲明的處理
    10.4 函數(shù)聲明與定義的處理
    10.5 分程序的處理
    練習(xí)10
   11 C代碼生成器的接口gen（）子程序
    練習(xí)11
   12 表達(dá)式的語(yǔ)義處理
    12.1 臨時(shí)變量的分配
    12.2 左值與右值
    12.3 臨時(shí)變量的表示——一種支持左右值實(shí)現(xiàn)的數(shù)據(jù)結(jié)構(gòu)
    12.4 單目運(yùn)算符的語(yǔ)義處理
    12.5 雙目運(yùn)算符的處理
    練習(xí)12
   13 控制語(yǔ)句的語(yǔ)義處理
    13.1 簡(jiǎn)單控制語(yǔ)句的語(yǔ)義處理
    13.2 條件語(yǔ)句的語(yǔ)義處理
    13.3 循環(huán)語(yǔ)句break與c0ntinue語(yǔ)句的語(yǔ)義處理
    13.4switch語(yǔ)句的語(yǔ)義處理
    練習(xí)13
   14 代碼優(yōu)化
    14.1 分析器的優(yōu)化
    14.2 線性（窺孔）優(yōu)化
    14.2.1 強(qiáng)度削減
    14.2.2 常數(shù)折合與常數(shù)傳播
    14.2.3 死變量與死代碼
    14.2.4 窺孔優(yōu)化之例
    14.3 語(yǔ)法樹(shù)上的優(yōu)化
    14.3.1 從逆波蘭至語(yǔ)法樹(shù)
    14.3.2 公共子表達(dá)式節(jié)省
    14.3.3 寄存器分配
    14.3.4 局部循環(huán)優(yōu)化
    練習(xí)14
   15 代碼的生成
    15.1 寄存器與臨時(shí)單元的管理
    15.2 一個(gè)簡(jiǎn)單的代碼生成器
    15.3 一個(gè)簡(jiǎn)單的寄存器分配方案
    15.4 從樹(shù)生成代碼
    15.5 代碼生成器的自動(dòng)化技術(shù)
    15.5.1 基于文法的代碼生成器
    15.5.2 基于樹(shù)重寫(xiě)的代碼生成器的生成器
    練習(xí)15
    參考文獻(xiàn)