編譯原理

第1章  編譯器概述
  1.1  詞法分析
  1.2  語(yǔ)法分析
  1.3  語(yǔ)義分析
  1.4  中間代碼生成
  1.5  代碼優(yōu)化
  1.6  代碼生成
  1.7  符號(hào)表管理
  1.8  錯(cuò)誤診斷和報(bào)告
  1.9  階段的分組
  習(xí)題1
第2章  詞法分析
  2.1  詞法記號(hào)及屬性
    2.1.1  詞法記號(hào)、模式、詞法單元
    2.1.2  詞法記號(hào)的屬性
    2.1.3  詞法錯(cuò)誤
  2.2  詞法記號(hào)的描述與識(shí)別
    2.2.1  串和語(yǔ)言
    2.2.2  正規(guī)式
    2.2.3  正規(guī)定義
    2.2.4  狀態(tài)轉(zhuǎn)換圖
  2.3  有限自動(dòng)機(jī)
    2.3.1  不確定的有限自動(dòng)機(jī)
    2.3.2  確定的有限自動(dòng)機(jī)
    2.3.3  NFA到DFA的變換
    2.3.4  DFA的化簡(jiǎn)
  2.4  從正規(guī)式到有限自動(dòng)機(jī)
  2.5  詞法分析器的生成器
  習(xí)題2
第3章  語(yǔ)法分析
  3.1    下文無(wú)關(guān)文法
    3.1.1  上下文無(wú)關(guān)文法的定義
    3.1.2  推導(dǎo)
    3.1.3  分析樹(shù)
    3.1.4  二義性
  3.2  語(yǔ)言和文法
    3.2.1    規(guī)式和上下文無(wú)關(guān)文法的比較
    3.2.2  分離詞法分析器的理由
    3.2.3  驗(yàn)證文法產(chǎn)生的語(yǔ)言
    3.2.4  適當(dāng)?shù)谋磉_(dá)式文法
    3.2.5  消除二義性
    3.2.6  消除左遞歸
    3.2.7  提左因子
    3.2.8  非上下文無(wú)關(guān)的語(yǔ)言結(jié)構(gòu)
    3.2.9  形式語(yǔ)言鳥(niǎo)瞰
  3.3  自上而下分析
    3.3.1  自上而下分析的一般方法
    3.3.2  LL(1)文法
    3.3.3  遞歸下降的預(yù)測(cè)分析
    3.3.4  非遞歸的預(yù)測(cè)分析
    3.3.5  構(gòu)造預(yù)測(cè)分析表
    3.3.6  預(yù)測(cè)分析的錯(cuò)誤恢復(fù)
  3.4  自下而上分析
    3.4.1  歸約
    3.4.2  句柄
    3.4.3  用棧實(shí)現(xiàn)移進(jìn)一歸約分析
    3.4.4  移進(jìn)一歸約分析的沖突
  3.5  LR分析器
    3.5.1  LR分析算法
    3.5.2  LR文法和LR分析方法的特點(diǎn)
    3，5.3  構(gòu)造SLR分析表
    3.5.4  構(gòu)造規(guī)范的LR分析表
    3.5.5  構(gòu)造LALR分析表
    3.5.6  非LR的上下文無(wú)關(guān)結(jié)構(gòu)
  3.6  二義文法的應(yīng)用
    3.6.1  使用文法以外的信息來(lái)解決分析動(dòng)作的沖突
    3.6.2  特殊情況產(chǎn)生式引起的二義性
    3.6.3  LR分析的錯(cuò)誤恢復(fù)
  3.7  分析器的生成器
    3.7.1  分析器的生成器Yacc
    3.7.2  用Yacc處理二義文法
    3.7.3  Yacc的錯(cuò)誤恢復(fù)
  習(xí)題3
第4章  語(yǔ)法制導(dǎo)的翻譯
  4.1  語(yǔ)法制導(dǎo)的定義
    4.1.1  語(yǔ)法制導(dǎo)定義的形式
    4.1.2  綜合屬性
    4.1.3  繼承屬性
    4.1.4  屬性依賴圖
    4.1.5  屬性計(jì)算次序
  4.2  S屬性定義的自下而上計(jì)算
    4.2.1  語(yǔ)法樹(shù)
    4.2.2  構(gòu)造語(yǔ)法樹(shù)的語(yǔ)法制導(dǎo)定義
    4.2.3  S屬性的自下而上計(jì)算
  4.3  L屬性定義的自上而下計(jì)算
    4.3.1  L屬性定義
    4.3.2  翻譯方案
    4.3.3  預(yù)測(cè)翻澤器的設(shè)計(jì)
    4.3.4  用綜合屬性代替繼承屬性
  4.4  L屬性的自下而上計(jì)算
    4.4.1  刪除翻譯方案中嵌入的動(dòng)作
    4.4.2  分析棧上的繼承屬性
    4.4.3  模擬繼承屬性的計(jì)算
  4.5  遞歸計(jì)算
    4.5.1  自左向右遍歷
    4.5.2  其他遍歷方法
    4.5.3  多次遍歷
  習(xí)題4
第5章  類型檢查
  5.1  類型在程序設(shè)計(jì)語(yǔ)言中的作用
    5.1.1  引言
    5.1.2  執(zhí)行錯(cuò)誤和安全語(yǔ)言
    5.1.3  類型化語(yǔ)言的優(yōu)點(diǎn)
  5.2  描述類型系統(tǒng)的語(yǔ)言
    5.2.1  定型斷言
    5.2.2  定型規(guī)則
    5.2.3  類型檢查和類型推斷
  5.3  簡(jiǎn)單類型檢查器的說(shuō)明
    5.3.1  一個(gè)簡(jiǎn)單的語(yǔ)言
    5.3.2  類型系統(tǒng)
    5.3.3  類型檢查
    5.3.4  類型轉(zhuǎn)換
  5.4  多態(tài)函數(shù)
    5.4.1  為什么要使用多態(tài)函數(shù)
    5.4.2  類型變量
    5.4.3  一個(gè)含多態(tài)函數(shù)的語(yǔ)言
    5.4.4  代換、實(shí)例和合一
    5.4.5  多態(tài)函數(shù)的類型檢查
  5.5  類型表達(dá)式的等價(jià)
    5，5.1  類型表達(dá)式的結(jié)構(gòu)等價(jià)
    5.5.2  類型表達(dá)式的名字等價(jià)
    5.5.3  記錄類型
    5.5.4  類型表示中的環(huán)
  5.6  函數(shù)和算符的重載
    5.6.1  子表達(dá)式的可能類型集合
    5.6.2  縮小可能類型的集合
  習(xí)題5
第6章  運(yùn)行時(shí)存儲(chǔ)空間的組織和管理
  6.1  局部存儲(chǔ)分配策略
    6.1.1  過(guò)程
    6.1.2  名字的作用域和綁定
    6.1.3  活動(dòng)記錄
    6.1.4  局部數(shù)據(jù)的安排
    6.1.5  程序塊
  6.2  全局存儲(chǔ)分配策略
    6.2.1  運(yùn)行時(shí)內(nèi)存的劃分
    6.2.2  靜態(tài)分配
    6.2.3  棧式分配
    6.2.4  堆式分配
  6.3  非局部名字的訪問(wèn)
    6.3.1  無(wú)過(guò)程嵌套的靜態(tài)作用域
    6.3.2  有過(guò)程嵌套的靜態(tài)作用域
    6.3.3  動(dòng)態(tài)作用域
  6.4  參數(shù)傳遞
    6.4.1  值調(diào)用
    6.4.2  引用調(diào)用
    6.4.3  復(fù)寫—恢復(fù)調(diào)用
    6.4.4  換名調(diào)用
  習(xí)題6
第7章  中間代碼生成
  7.1  中間語(yǔ)言
    7.1.1  后綴表示
    7.1.2  圖形表示
    7.1.3  三地址代碼
  7.2  聲明語(yǔ)句
    7.2.1  過(guò)程中的聲明
    7.2.2  作用域信息的保存
    7.2.3  記錄的域名
  7.3  賦值語(yǔ)句
    7.3.1  符號(hào)表中的名字
    7.3.2  臨時(shí)名字的重新使用
    7.3.3  數(shù)組元素的地址計(jì)算
    7.3.4  數(shù)組元素地址計(jì)算的翻譯方案
    7.3.5  類型轉(zhuǎn)換
  7.4  布爾表達(dá)式和控制流語(yǔ)句
    7.4.1  布爾表達(dá)式的翻譯
    7.4.2  控制流語(yǔ)句的翻譯
    7.4.3  布爾表達(dá)式的控制流翻譯
    7.4.4  開(kāi)關(guān)語(yǔ)句的翻譯
    7.4.5  過(guò)程調(diào)用的翻譯
  習(xí)題7
第8章  代秒生成
  8.1  代碼生成器設(shè)計(jì)中的問(wèn)題
    8.1.1  目標(biāo)程序
    8.1.2  指令選擇
    8.1.3  寄存器分配
    8.1.4  計(jì)算次序選擇
  8.2  目標(biāo)機(jī)器
    8.2.1  目標(biāo)機(jī)器的指令系統(tǒng)
    8.2.2  指令的代價(jià)
  8.3  基本塊和流圖
    8.3.1  基本塊
    8.3.2  基本塊的變換
    8.3.3  流圖
    8：3.4  下次引用信息
  8.4  一個(gè)簡(jiǎn)單的代碼生成器
    8.4.1  寄存器描述和地址描述
    8.4.2  代碼生成算法
    8.4.3  寄存器選擇函數(shù)
    8.4.4  為變址和指針語(yǔ)句產(chǎn)生代碼
    8.4.5  條件語(yǔ)句
  習(xí)題8
*第9章  代碼優(yōu)化
  9.1  優(yōu)化的主要種類
    9.1.1  代碼改進(jìn)變換的標(biāo)準(zhǔn)
    9.1.2  公共子表達(dá)式刪除
    9.1.3  復(fù)寫傳播
  9.1.4  死代碼刪除
  9.1.5  代碼外提
  9.1.6  強(qiáng)度削弱和歸納變量刪除
  9.1.7  優(yōu)化編譯器的組織
  9.2  流圖中的循環(huán)
    9.2.1  必經(jīng)結(jié)點(diǎn)
    9.2.2  自然循環(huán)
    9.2.3  前置結(jié)點(diǎn)
    9。2.4  可歸約流圖
  9.3  全局?jǐn)?shù)據(jù)流分析介紹
    9.3.1  點(diǎn)和路徑
    9.3.2  到達(dá)—定值
    9。3.3  可用表達(dá)式
    9.3.4  活躍變量分析
  9.4  代碼改進(jìn)變換
    9.4.1  公共子表達(dá)式刪除
    9.4.2  復(fù)寫傳播
    9.4.3  尋找循環(huán)不變計(jì)算
    9.4.4  代碼外提
    9.4.5  歸納變量刪除
  習(xí)題9
第10章  編譯系統(tǒng)和運(yùn)行系統(tǒng)
  10.1  C語(yǔ)言的編譯系統(tǒng)
    10.1.1  預(yù)處理器
    10.1.2  匯編器
    10.1.3  連接器
    10.1.4  目標(biāo)文件的格式
    10.1.5  符號(hào)解析
    10.1.6  靜態(tài)庫(kù)
    10.1.7  可執(zhí)行目標(biāo)文件及裝入
    10.1.8  動(dòng)態(tài)連接
    10.1.9  處理目標(biāo)文件的一些工具
  10.2  Java語(yǔ)言的運(yùn)行系統(tǒng)
    10.2.1  Java虛擬機(jī)語(yǔ)言簡(jiǎn)介
    10.2.2  Java虛擬機(jī)
    10.2.3  即時(shí)編譯器
  10.3  無(wú)用單元收集
    10.3.1  標(biāo)記和清掃
    10.3.2  引用計(jì)數(shù)
    10.3.3  拷貝收集
    10.3.4  分代收集
    10.3.5  漸增式收集
    10.3.6  編譯器與收集器之間的相互影響
  習(xí)題10
*第11章  面向?qū)ο笳Z(yǔ)言的編譯
  11.1  面向?qū)ο笳Z(yǔ)言的概念
    11.1.1  對(duì)象和對(duì)象類
    11.1.2  繼承
    11.1.3  信息封裝
  11.2  方法的編譯
  11.3  繼承的編譯方案
    11.3.1  單一繼承的編譯方案
    11.3.2  重復(fù)繼承的編譯方案
  習(xí)題11
*第12章  函數(shù)式語(yǔ)言的編譯
  12.1  函數(shù)式程序設(shè)計(jì)語(yǔ)言簡(jiǎn)介
    12.1.1  語(yǔ)言構(gòu)造
    12.1.2  參數(shù)傳遞機(jī)制
    12.1.3  變量的自由出現(xiàn)和約束出現(xiàn)
  12.2  函數(shù)式語(yǔ)言的編譯簡(jiǎn)介
    12.2.1  幾個(gè)受啟發(fā)的例子
    12.2.2  編譯函數(shù)
    12.2.3  環(huán)境與約束
  12.3  抽象機(jī)的系統(tǒng)結(jié)構(gòu)
    12.3.1  抽象機(jī)的棧
    12.3.2  抽象機(jī)的堆
    12.3.3  名字的尋址
    12.3.4  約束的建立
  12.4  指令集和編譯
    12.4.1  表達(dá)式
    12.4.2  變量的此用性出現(xiàn)
    12.4.3  函數(shù)定義
    12.4.4  函數(shù)應(yīng)用
    12.4.5  構(gòu)造和計(jì)算閉包
    14.4.6  letrec表達(dá)式和局部變量
  習(xí)題12
參考文獻(xiàn)