基本信息

內容提要

王生原、董淵、張素琴、呂映芝、蔣維杜編*的 《編譯原理（第3版）》介紹程序設計語言編譯程序 構造的一般原理、基本設計方法和主要實現技術，主 要內容包括文法、自動機和語言的基礎知識，詞法分 析，語法分析，語法制導的語義計算，語義分析，中 間代碼生成，運行時存儲組織，代碼優化和目標代碼 生成。
     除了基本設計原理外，書中還包含兩個小型編譯 程序的設計實例，可選作課程設計的素材。一個是PL ／O語言編譯程序，其設計和實現框架貫穿於本書相 關章節中；另一個是簡單面向對像語言Decaf的編譯 程序。本書*後還介紹了業界廣泛使用的開源編譯器 GCC及和它緊密相關的Binutils工具鏈，通過一繫列 程序實例說明這些工具的作用和基本用法。
     本書可作為高等院校計算機科學與技術相關專業 的本科生教材，也可作為相關教師、研究生或工程技 術人員的參考書。
    

目錄

**章 引論 1.1 什麼是編譯程序 1.2 編譯過程和編譯程序的結構 1.2.1 編譯過程概述 1.2.2 編譯程序的結構 1.2.3 編譯階段的組合 1.3 解釋程序和一些軟件工具 1.3.1 解釋程序 1.3.2 處理源程序的軟件工具 1.4 PL/0語言編譯繫統 1.4.1 PL/0語言編譯繫統構成 1.4.2 PL/0語言 1.4.3 類P-code語言 1.4.4 PL/0編譯程序 1.4.5 PL/0語言編譯繫統的驅動代碼 練習 第2章 文法和語言 2.1 文法的直觀概念 2.2 符號和符號串 2.3 文法和語言的形式定義 2.4 文法的類型 2.5 上下文無關文法及其語法樹 2.6 句型的分析 2.6.1 自上而下的分析方法 2.6.2 自下而上的分析方法 2.6.3 句型分析的有關問題 2.7 有關文法實際應用的一些說明 2.7.1 有關文法的實用限制 2.7.2 上下文無關文法中的ε規則 練習 第3章 詞法分析 3.1 詞法分析程序的設計 3.1.1 詞法分析程序和語法分析程序的接口方式 3.1.2 詞法分析程序的輸出 3.1.3 將詞法分析工作分離的考慮 3.1.4 詞法分析程序中如何識別單詞 3.2 PL/0編譯程序中詞法分析程序的設計和實現 3.3 單詞的形式化描述工具 3.3.1 正規文法 3.3.2 正規式 3.3.3 正規文法和正規式的等價性 3.4 有窮自動機 3.4.1 確定的有窮自動機 3.4.2 不確定的有窮自動機 3.4.3 NFA轉換為等價的 3.4.4 確定有窮自動機的化簡 3.5 正規式和有窮自動機的等價性 3.6 正規文法和有窮自動機的等價性 3.7 詞法分析程序的自動構造工具 3.7.1 lex描述文件中使用的正規表達式 3.7.2 lex描述文件的格式 3.7.3 lex的使用 3.7.4 與yacc的接口約定 練習 第4章 自頂向下語法分析方法 4.1 確定的自頂向下分析思想 4.2 LL（1）文法的判別 4.3 某些非LL（1）文法到LL（1）文法的等價變換 4.3.1 提取左公共因子 4.3.2 消除左遞歸 4.4 不確定的自頂向下分析思想 4.5 LL（1）分析的實現 4.5.1 遞歸下降LL（1）分析程序 4.5.2 表驅動LL（1）分析程序 4.6 LL（1）分析中的出錯處理 4.6.1 應急恢復 4.6.2 短語層恢復 4.6.3 PL/0語法分析程序的錯誤處理 練習 第5章 自底向上優先分析 5.1 自底向上優先分析概述 5.2 簡單優先分析法 5.2.1 優先關繫定義 5.2.2 簡單優先文法的定義 5.2.3 簡單優先分析法的操作步驟 5.3 算符優先分析法 5.3.1 直觀算符優先分析法 5.3.2 算符優先文法的定義 5.3.3 算符優先關繫表的構造 5.3.4 算符優先分析算法 5.3.5 優先函數 5.3.6 算符優先分析法的局限性 練習 第6章 LR分析 6.1 LR分析概述 6.2 LR（0）分析 6.2.1 可歸前綴和子前綴 6.2.2 識別活前綴的有限自動機 6.2.3 活前綴及可歸前綴的一般計算方法 6.2.4 LR（0）項目集規範族的構造 6.3 SLR（1）分析 6.4 LR（1）分析 6.4.1 LR（1）項目集族的構造 6.4.2 LR（1）分析表的構造 6.5 LALR（1）分析 6.6 二義性文法在LR分析中的應用 練習 第7章 語法制導的語義計算 7.1 基於屬性文法的語義計算 7.1.1 屬性文法 7.1.2 遍歷分析樹進行語義計算 7.1.3 S-屬性文法和L-屬性文法 7.1.4 基於S-屬性文法的語義計算 7.1.5 基於L-屬性文法的語義計算 7.2 基於翻譯模式的語義計算 7.2.1 翻譯模式 7.2.2 基於S-翻譯模式的語義計算 7.2.3 基於L-翻譯模式的自頂向下語義計算 7.2.4 基於L-翻譯模式的自底向上語義計算 7.3 分析和翻譯程序的自動生成工具 7.3.1 yacc描述文件 7.3.2 使用yacc的一個簡單例子 練習 第8章 靜態語義分析和中間代碼生成 8.1 符號表 8.1.1 符號表的作用 8.1.2 符號的常見屬性 8.1.3 符號表的實現 8.1.4 符號表體現作用域與可見性 8.1.5 實例：PL/0編譯程序中符號表的設計與實現 8.2 靜態語義分析 8.2.1 靜態語義分析的主要任務 8.2.2 類型檢查 8.3 中間代碼生成 8.3.1 常見的中間表示形式 8.3.2 生成抽像語法樹 8.3.3 生成三地址碼 8.4 多遍的方法 練習 第9章 運行時存儲組織 9.1 運行時存儲組織概述 9.1.1 運行時存儲組織的作用與任務 9.1.2 程序運行時存儲空間的布局 9.1.3 存儲分配策略 9.2 活動記錄 9.2.1 過程活動記錄 9.2.2 嵌套過程定義中非局部量的訪問 9.2.3 嵌套程序塊的非局部量訪問 9.2.4 動態作用域規則和靜態作用域規則 9.3 過程調用 9.4 PL/0編譯程序的運行時存儲組織 9.4.1 PL/0程序運行棧中的過程活動記錄 9.4.2 實現過程調用和返回的類P-code指令 9.5 面向對像語言存儲分配策略 9.5.1 類和對像的角色 9.5.2 面向對像程序運行時的特征 9.5.3 對像的存儲組織 9.5.4 例程的動態綁定 9.5.5 其他話題 練習 **0章 代碼優化和目標代碼生成 10.1 基本塊、流圖和循環 10.1.1 基本塊 10.1.2 流圖 10.1.3 循環 10.2 數據流分析基礎 10.2.1 數據流方程的概念 10.2.2 到達-定值數據流分析 10.2.3 活躍變量數據流分析 10.2.4 幾種重要的變量使用數據流信息 10.3 代碼優化技術 10.3.1 窺孔優化 10.3.2 局部優化 10.3.3 循環優化 10.3.4 全局優化 10.4 目標代碼生成技術 10.4.1 目標代碼生成的主要環節 10.4.2 一個簡單的代碼生成過程 10.4.3 高效使用寄存器 10.4.4 圖著色寄存器分配 10.4.5 PL/0編譯器的目標代碼生成程序 練習 **1章 課程設計 11.1 基於PL/0編譯器的課程設計 11.2 基於Decaf編譯器的課程設計 11.2.1 Decaf編譯器實驗的總體結構 11.2.2 詞法和語法分析（階段一） 11.2.3 語義分析（階段二） 11.2.4 中間代碼生成（階段三） 11.2.5 代碼優化（階段四） 11.2.6 目標代碼生成（階段五） 11.2.7 基於Decaf編譯器的課程設計 11.3 軟件包相關信息說明 **2章 編譯器和相關工具實例——GCC/Binutils 12.1 開源編譯器GCC 12.1.1 GCC介紹 12.1.2 GCC總體結構 12.1.3 GCC編譯流程 12.1.4 GCC代碼組織 12.1.5 小結 12.2 開源工具Binutils 12.2.1 目標文件 12.2.2 彙編器和鏈接器 12.2.3 其他工具 12.2.4 小結 12.3 編譯器和工具使用實例 12.3.1 編譯特定版本的編譯器 12.3.2 查看目標文件 12.3.3 程序代碼優化 12.3.4 小結 練習 附錄A PL/0編譯程序文本 參考文獻