編譯原理及實踐教程(第2版)（簡體書）

《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》系統地介紹了編譯程序的設計與構造以及各組成部分的軟件技術和實用方法。全書共8章，主要包括編譯程序概述、高級語言設計基礎、詞法分析、語法分析、語義分析和中間代碼生成、運行時存儲空間的組織、代碼優化以及目標代碼生成。《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》的目標是使學習者建立一個較為完整的編譯系統的模型，掌握各個階段的基本算法、常用的編譯技術和方法，為今後從事系統軟件和應用軟件的開發打下理論和實踐基礎。為此，《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》力求講清基本概念、基本原理和實現方法；書中引入了豐富的典型例題，配以大量的習題；《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》以Sample語言為例來貫穿各章內容，介紹了其編譯程序的具體實現技術和構造方法。
《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》可供高等學校計算機科學與技術及相關專業本科教學使用，也可供計算機系統軟件和應用軟件開發人員自學和參考。

《21世紀高等學校規劃教材?計算機科學與技術:編譯原理及實踐教程(第2版)》面向應用型本科計算機專業學生，通過一個編譯器的設計實現案例詳細講解了編譯程序及其相關部分的分析設計和整個編譯器的設計實現。
教學目標明確，注重理論與實踐的結合。
教學方法靈活，培養學生自主學習的能力。
教學內容先進，反映了計算機學科的最新發展。
教學模式完善，提供配套的教學資源解決方案。

第1章 概述
1.1 程序設計語言與編譯程序
1.1.1 程序設計語言
1.1.2 翻譯程序
1.1.3 編譯程序和解釋程序
1.1.4 編譯程序的伙伴
1.2 編譯過程和編譯程序的結構
1.2.1 編譯過程概述
1.2.2 編譯程序的結構
1.2.3 編譯階段的組合
1.3 編譯程序的設計
1.3.1 編譯程序的構造方式
1.3.2 Sample語言編譯程序的設計
1.4 編譯程序的發展及應用
1.4.1 編譯程序的發展
1.4.2 為什么要學習編譯原理及其構造技術
1.4.3 編譯技術的應用
1.5 小結
1.6 習題

第2章 高級語言設計基礎
2.1 符號和符號串
2.2 文法與語言
2.2.1 文法的定義
2.2.2 文法產生的語言
2.2.3 文法的二義性
2.2.4 文法的分類
2.3 高級語言的設計
2.3.1 程序語言的定義
2.3.2 馮·諾依曼體系結構與高級語言
2.3.3 數據類型
2.3.4 語句和控制結構
2.3.5 語言設計的步驟
2.4 語言設計實例
2.4.1 Sample語言字符集的定義
2.4.2 Sample語言單詞的定義
2.4.3 Sample語言數據類型的定義
2.4.4 Sample語言表達式的定義
2.4.5 Sample語言語句的定義
2.4.6 Sample語言程序體和程序的定義
2.4.7 符合Sample語言定義的源程序舉例
2.5 小結
2.6 習題

第3章 詞法分析
3.1 詞法分析的任務和功能
3.1.1 詞法分析的功能
3.1.2 單詞的類型和種別碼
3.2 詞法分析器的設計
3.2.1 詞法分析程序的接口
3.2.2 詞法分析程序的總體設計
3.2.3 詞法分析程序的詳細設計
3.2.4 單詞的識別和狀態轉換圖
3.2.5 符號表及其操作
3.2.6 詞法分析階段的錯誤處理
3.3 正規文法、正規式與有窮自動機
3.3.1 正規文法
3.3.2 正規式
3.3.3 有窮自動機
3.3.4 正規文法與有窮自動機的等價性
3.3.5 正規式與有窮自動機的等價性
3.4 詞法分析程序的自動生成
3.4.1 LEX的概述
3.4.2 LEX源文件的書寫
3.4.3 LEX的工作原理
3.4.4 LEX使用中的一些注意事項
3.4.5 使用LEX自動生成Sample語言的詞法分析程序
3.5 小結
3.6 習題

第4章 語法分析
4.1 語法分析概述
4.2 自上而下的語法分析
4.2.1 自上而下分析方法中的問題探究
4.2.2 遞歸下降分析方法
4.2.3 預測分析方法
4.2.4 Sample語言自上而下語法分析程序的設計
4.3 自下而上的語法分析
4.3.1 自下而上分析方法概述
4.3.2 算符優先分析法
4.3.3 LR分析法
4.4 語法分析器的自動生成工具YACC
4.4.1 YACC概述
4.4.2 YACC源文件的格式
4.4.3 YACC的翻譯規則
4.4.4 YACC的輔助程序
4.5 語法分析程序中的錯誤處理
4.5.1 語法分析中的錯誤處理的一般原則
4.5.2 自上而下語法分析的錯誤處理
4.5.3 自下而上語法分析的錯誤處理
4.6 小結
4.7 習題

第5章 語義分析和中間代碼生成
5.1 概述
5.1.1 語義分析和中間代碼生成的功能和任務
5.1.2 靜態語義檢查
5.1.3 語義處理
5.2 屬性文法和語法制導的翻譯
5.2.1 屬性文法的定義
5.2.2 綜合屬性的計算
5.2.3 繼承屬性的計算
5.2.4 語法制導的翻譯方法
5.3 常見語句的語法制導的翻譯
5.3.1 語義變量和語義函數
5.3.2 常量說明語句的語義處理
5.3.3 變量說明語句的語義處理
5.3.4 算術表達式和簡單賦值語句的翻譯
5.3.5 布爾表達式的翻譯
5.3.6 if語句的翻譯
5.3.7 do…while語句的翻譯
5.3.8 for語句的翻譯
5.4 Sample語言語法制導的翻譯程序的設計
5.5 小結
5.6 習題

第6章 運行時存儲空間的組織
6.1 程序執行時的活動
6.1.1 源程序中的過程
6.1.2 過程執行時的活動
6.1.3 名字的作用域
6.1.4 參數的傳遞
6.1.5 名字的綁定
6.2 程序執行時的存儲器組織
6.2.1 程序執行時存儲器的劃分
6.2.2 活動記錄
6.2.3 存儲分配策略
6.3 靜態存儲分配
6.3.1 靜態存儲分配的性質
6.3.2 靜態存儲分配的實現
6.3.3 臨時變量的地址分配
6.4 棧式存儲分配策略
6.5 堆式存儲分配
6.5.1 堆式存儲分配的主要問題
6.5.2 堆式動態存儲分配的實現
6.5.3 存儲回收
6.6 小結
6.7 習題

第7章 代碼優化
7.1 概述
7.1.1 代碼優化的地位
7.1.2 基本塊的概念及流圖
7.2 局部優化
7.2.1 刪除公共子表達式
7.2.2 復寫傳播
7.2.3 刪除無用代碼
7.2.4 對程序進行代數恒等變換
7.2.5 基本塊的DAG表示及優化
7.3 循環優化
7.3.1 循環的定義
7.3.2 代碼外提
7.3.3 強度削弱
7.3.4 刪除歸納變量
7.4 小結
7.5 習題

第8章 目標代碼生成
8.1 概述
8.2 目標機器
8.3 簡單的代碼生成算法
8.3.1 中間代碼的簡單翻譯方法
8.3.2 引用信息和活躍信息
8.3.3 寄存器描述和地址描述
8.3.4 基本塊的代碼生成算法
8.4 從DAG生成目標代碼
8.5 Sample代碼優化及目標代碼生成器的設計
8.6 小結
8.7 習題
參考文獻

單詞符號由詞法規則所確定，詞法規則是指單詞符號的形成規則，它規定了字母表中哪些字符串可以構成正確的單詞符號。單詞符號是語言中具有獨立意義的最小單位。
語言的語法規則規定了如何從單詞符號形成更大的結構（即語法單位，如表達式和語句等），即語法規則是語法單位的形成規則。
語言的詞法規則和語法規則定義了程序的形式結構，是判斷輸入字符串是否構成一個形式上正確的程序的依據。
2.語義
對于一個語言來說，不僅要給出它的詞法和語法規則，而且要定義它的單詞符號和語法單位的意義，即語義。離開語義，語言只不過是一個字符串而已。對于編譯器來說，只有了解了程序的語義，才能把它翻譯成相應的目標代碼。
一個程序的語義是指一組規則，用它可以定義一個程序的意義。闡明語義要比闡明語法困難得多，現在還沒有一種公認的形式系統，借助它可以自動地構造出實用的編譯程序。
最早是用自然語言來描述語言結構的含義，這種描述是非形式的、冗長的、易于引起二義的，但它能給出一個語言的直觀梗概。語義的形式描述是計算機學科的一個重要研究領域，目前已有指稱語義學、操作語義學、代數語義學和公理語義學等多種描述方法。
本書在第5章將介紹目前大多數編譯程序普遍采用的一種方法，即基于屬性文法的語法制導的翻譯方法，它是一個比較接近形式化的表示方法。