目錄第1篇 構(gòu)思(Conceive)第1章 編譯程序概論 31.1 編譯程序的概念 31.1.1 程序設(shè)計(jì)語(yǔ)言 31.1.2 基本概念和術(shù)語(yǔ) 41.1.3 程序設(shè)計(jì)語(yǔ)言的翻譯 41.1.4 高級(jí)語(yǔ)言程序的執(zhí)行 51.2 編譯過(guò)程 61.3 編譯程序的結(jié)構(gòu) 81.3.1 詞法分析程序 101.3.2 語(yǔ)法分析程序 111.3.3 語(yǔ)義分析程序 121.3.4 中間代碼生成程序 121.3.5 代碼優(yōu)化程序 131.3.6 目標(biāo)代碼生成程序 141.3.7 信息表管理程序 151.3.8 錯(cuò)誤檢查和處理程序 161.3.9 編譯程序的分遍 171.4 解釋程序 181.5 編譯程序的評(píng)價(jià)指標(biāo)與構(gòu)造技術(shù) 191.5.1 編譯程序的評(píng)價(jià)指標(biāo) 201.5.2 編譯程序的構(gòu)造技術(shù) 211.6 程序設(shè)計(jì)語(yǔ)言范型 24習(xí)題 26第2章 文法和語(yǔ)言 272.1 符號(hào)和符號(hào)串 272.2 文法和語(yǔ)言的定義 292.3 文法的類型 352.4 上下文無(wú)關(guān)文法及其語(yǔ)法樹 372.4.1 程序設(shè)計(jì)語(yǔ)言的語(yǔ)法結(jié)構(gòu)的描述 372.4.2 語(yǔ)法樹 382.4.3 文法的二義性 392.5 句型的分析 412.5.1 規(guī)范推導(dǎo)和規(guī)范歸約 412.5.2 短語(yǔ)和句柄 432.6 文法描述語(yǔ)言時(shí)的限制與擴(kuò)充 462.6.1 文法描述語(yǔ)言時(shí)的限制 462.6.2 文法描述語(yǔ)言時(shí)的擴(kuò)充 47習(xí)題 48第2篇 設(shè)計(jì)(Design)第3章 詞法分析 533.1 詞法分析概述 533.2 詞法分析器的結(jié)構(gòu) 533.2.1 詞法分析器的工作方式 533.2.2 詞法分析器的輸出 543.2.3 詞法分析作為一個(gè)*立階段的原因 553.3 單詞的描述工具 553.3.1 正規(guī)文法 563.3.2 正規(guī)式 563.3.3 正規(guī)文法和正規(guī)式的等價(jià)性 583.4 有限自動(dòng)機(jī) 603.4.1 確定的有限自動(dòng)機(jī)(DFA) 603.4.2 不確定的有限自動(dòng)機(jī)(NFA) 623.4.3 NFA轉(zhuǎn)換為等價(jià)的DFA 633.4.4 確定有限自動(dòng)機(jī)的化簡(jiǎn) 663.5 正規(guī)式和有限自動(dòng)機(jī)的等價(jià)性 683.6 正規(guī)文法和有限自動(dòng)機(jī)的等價(jià)性 713.7 詞法分析器的自動(dòng)構(gòu)造工具 73習(xí)題 75實(shí)踐項(xiàng)目一 76第4章 自頂向下語(yǔ)法分析 774.1 自頂向下語(yǔ)法分析概述 774.2 遞歸下降分析法 784.3 LL(1)預(yù)測(cè)分析法 804.4 非LL(1)文法到LL(1)文法的等價(jià)變換 834.4.1 提取左公共因子 834.4.2 消除左遞歸 844.4.3 消除文法左遞歸的方法 864.5 LL的自動(dòng)生成工具 884.5.1 遞歸子程序法 884.5.2 預(yù)測(cè)分析方法 90案例分析 91習(xí)題 93實(shí)踐項(xiàng)目二 95第5章 自底向上語(yǔ)法分析 965.1 自底向上語(yǔ)法分析概述 965.2 算符優(yōu)先分析 975.2.1 算符優(yōu)先文法的定義 975.2.2 算符優(yōu)先關(guān)系表的構(gòu)造 995.2.3 *左素短語(yǔ) 1015.2.4 優(yōu)先函數(shù) 1035.3 LR分析 1045.3.1 LR分析器概述 1055.3.2 LR(0)分析 1065.3.3 SLR(1)分析 1135.3.4 LR(1)分析 1145.3.5 LALR(1)分析 1145.4 LR的自動(dòng)生成工具 115案例分析 115習(xí)題 120實(shí)踐項(xiàng)目三 121第6章 語(yǔ)義分析與符號(hào)表 1226.1 語(yǔ)義分析概述 1226.2 符號(hào)表的作用 1226.3 符號(hào)表的內(nèi)容 1236.4 符號(hào)表的組織 1286.5 符號(hào)表的管理 135習(xí)題 137第3篇 實(shí)現(xiàn)(Implement)第7章 語(yǔ)法制導(dǎo)翻譯與中間代碼生成 1417.1 語(yǔ)法制導(dǎo)翻譯 1417.1.1 屬性文法 1417.1.2 語(yǔ)法翻譯概述 1417.2 中間代碼表示 1437.2.1 逆波蘭式 1437.2.2 三地址代碼 1447.2.3 四元式表示 1457.2.4 其他表示 1467.3 簡(jiǎn)單賦值語(yǔ)句的翻譯 1467.4 布爾表達(dá)式的翻譯 1477.5 控制語(yǔ)句的翻譯 149習(xí)題 151實(shí)踐項(xiàng)目四 153第8章 目標(biāo)程序運(yùn)行時(shí)的存儲(chǔ)組織 1548.1 存儲(chǔ)組織及管理 1548.2 靜態(tài)存儲(chǔ)分配策略 1558.3 動(dòng)態(tài)存儲(chǔ)分配 1578.3.1 過(guò)程與活動(dòng)記錄 1578.3.2 簡(jiǎn)單的棧式存儲(chǔ)分配的實(shí)現(xiàn) 1598.3.3 嵌套過(guò)程語(yǔ)言的棧式實(shí)現(xiàn) 159習(xí)題 161第9章 出錯(cuò)處理 1639.1 錯(cuò)誤分類 1639.1.1 語(yǔ)法錯(cuò)誤 1639.1.2 語(yǔ)義錯(cuò)誤 1639.2 編譯程序中參數(shù)錯(cuò)誤的處理 1649.2.1 校正法 1649.2.2 局部化法 1659.2.3 參數(shù)FSYS集合內(nèi)容的補(bǔ)充 1689.3 一些語(yǔ)義錯(cuò)誤的處理 1699.3.1 遏止株連錯(cuò)誤 1699.3.2 遏止重復(fù)錯(cuò)誤 169習(xí)題 170實(shí)踐項(xiàng)目五 171第10章 代碼優(yōu)化 17210.1 優(yōu)化技術(shù)簡(jiǎn)介 17210.1.1 刪除多余運(yùn)算 17210.1.2 復(fù)寫傳播 17310.1.3 無(wú)用代碼刪除 17310.1.4 代碼外提 17310.1.5 強(qiáng)度削弱和基本歸納變量刪除 17410.2 局部?jī)?yōu)化 17510.2.1 基本塊 17510.2.2 基本塊的有向無(wú)環(huán)圖表示 17610.2.3 基于基本塊的優(yōu)化 17910.3 循環(huán)優(yōu)化 18010.3.1 流圖 18010.3.2 循環(huán) 18010.3.3 循環(huán)不變計(jì)算及代碼外提 18310.3.4 歸納變量相關(guān)的優(yōu)化 18610.4 全局優(yōu)化 18810.4.1 全局公共子表達(dá)式 18810.4.2 復(fù)寫傳播 188習(xí)題 190實(shí)踐項(xiàng)目六 192第11章 目標(biāo)代碼生成 19311.1 目標(biāo)代碼生成概述 19311.1.1 代碼生成器的輸入 19311.1.2 目標(biāo)代碼的形式 19311.1.3 指令選擇 19411.1.4 寄存器分配 19411.1.5 計(jì)算順序的選擇 19511.2 常用的代碼生成器的開(kāi)發(fā)方法 19511.2.1 解釋性代碼生成法 19511.2.2 模式匹配代碼生成法 19611.2.3 表驅(qū)動(dòng)代碼生成法 196習(xí)題 197第4篇 運(yùn)作(Operate)第12章 寄存器分配 20112.1 寄存器分配概述 20112.2 寄存器分配圖染色法 20212.3 合并 20412.4 預(yù)著色的結(jié)點(diǎn) 20612.5 圖著色的實(shí)現(xiàn) 20712.6 針對(duì)樹的寄存器分配 208習(xí)題 212第13章 垃圾回收 21313.1 垃圾收集概述 21313.2 引用計(jì)數(shù) 21413.3 復(fù)制式收集 21513.4 分代收集 21713.5 增量式收集 21813.6 編譯器接口 219習(xí)題 221第14章 面向?qū)ο笳Z(yǔ)言編譯器 22214.1 面向?qū)ο笳Z(yǔ)言概述 22214.2 類與繼承 22314.3 私有域和私有方法 22414.4 面向?qū)ο笳Z(yǔ)言的翻譯 22514.4.1 單繼承的編譯方案 22514.4.2 多繼承的編譯方案 22714.5 面向?qū)ο笳Z(yǔ)言的編譯優(yōu)化 228習(xí)題 230第15章 人工智能編譯器 23115.1 人工智能編程語(yǔ)言概述 23115.1.1 Python 23115.1.2 R 23215.1.3 LISP 23315.1.4 Prolog 23315.2 Python虛擬機(jī)基本原理 23315.2.1 過(guò)程概述 23315.2.2 關(guān)于.pyc文件 23415.2.3 關(guān)于PyCodeObject 23415.2.4 執(zhí)行字節(jié)碼 23515.2.5 Python字節(jié)碼 23615.3 代碼自動(dòng)生成與抽象語(yǔ)法樹 237習(xí)題 239參考文獻(xiàn) 240