編譯原理(2014年3月出版的書籍)

本書系統地介紹了高級程式設計語言編譯程式構造的一般原理和實現方法，2014年3月西安電子科技大學出版社出版的書籍，作者魚濱　等主編。全書涵蓋詞法分析、語法分析、中間代碼生成、代碼最佳化等核心內容，適用於計算機類專業教材與技術參考。

基本介紹

• 中文名：編譯原理 
• 作者：魚濱　等主編
• 出版時間：2014年3月
• 出版社：西安電子科技大學出版社
• ISBN：9787560633329
• 類別：圖書>教材>研究生/本科/專科教材>工學
• 定價：21.00 元
• 開本：16 開
• 裝幀：平裝
• 叢書名：新世紀計算機類本科規劃教材

內容簡介

本書系統地介紹了高級程式設計語言編譯程式構造的一般原理和實現方法，主要內容包括編譯程式的構成、詞法分析、 語法分析、語法指導翻譯與中間代碼生成、自動機的套用、符號表與運行時環境、代碼最佳化與代碼生成等。通過本書的學習，讀者可以對編譯的基本概念、原理和構造方法有完整的認識和理解，並能正確地運用。　

本書可作為高等學校計算機類專業的本科生教材，也可作為相關技術人員的參考書。

圖書目錄

第1章 緒論

1.1 語言翻譯與編譯程式

1.2 編譯器與解釋器

1.3 編譯程式的工作原理與基本結構

1.3.1 高級語言的主要成分

1.3.2 編譯的基本過程

1.3.3 編譯程式各階段的工作

1.3.4 編譯程式的基本結構

1.3.5 編譯的前端和後端

1.3.6 編譯的遍數

1.4 編譯器的編寫

1.5 本章小結

習題1

第2章 詞法分析

2.1 詞法分析概述

2.1.1 相關問題

2.1.2 詞法分析器的功能和工作方式

2.1.3 源程式的輸入及預處理

2.2 模式的形式化描述

2.2.1 語言及其基本概念

2.2.2 正規式與正規集

2.2.3 記號的定義

2.3 有限自動機

2.3.1 有限自動機概述

2.3.2 狀態轉換圖

2.3.3 非確定型有限自動機（NFA）

2.3.4 確定型有限自動機（DFA）

2.4 正規式到詞法分析器

2.4.1 由正規式構造等價的非確定型有限自動機(NFA)

2.4.2 非確定型有限自動機(NFA)到確定型有限自動機(DFA)的變換

2.4.3 確定型有限自動機(DFA)的化簡

2.5 詞法分析器的自動生成

2.6 本章小結

習題2

第3章 語法分析

3.1 上下文無關文法（CFG）

3.1.1 上下文無關文法的定義

3.1.2 語法分析的基本術語

3.1.3 語法樹和二義性

3.1.4 文法與語言的分類

3.2 自上而下的語法分析

3.2.1 自上而下語法分析的一般方法和基本問題

3.2.2 消除文法的左遞歸

3.2.3 消除回溯提取左因子

3.2.4 遞歸下降分析法

3.2.5 預測分析法

3.3 自下而上的語法分析

3.3.1 自下而上語法分析的一般方法和基本問題

3.3.2 符號棧的使用

3.3.3 LR分析法

3.3.4 LR（0）項目集族和LR（0）分析表的構造

3.3.5 LR（0）項目集規範族的構造

3.3.6 有效項目

3.3.7 LR（0）分析表的構造

3.3.8 SLR分析表的構造

3.3.9 規範LR分析表的構造

3.3.10 LALR分析表的構造

3.4 二義文法的套用

3.5 語法分析器的自動生成工具YACC簡介

3.6 本章小結

習題3

第4章 語法制導翻譯與中間代碼生成

4.1 語法制導翻譯

4.1.1 語法與語義

4.1.2 屬性文法

4.1.3 語義規則

4.1.4 LR分析的翻譯概述

4.1.5 遞歸下降分析的翻譯概述

4.2 中間代碼

4.2.1 後綴式

4.2.2 三地址碼

4.2.3 圖形表示

4.3 說明性語句的翻譯

4.3.1 變數和數組變數的聲明

4.3.2 過程的定義、聲明和過程調用的處理

4.3.3 記錄中的域名

4.4 執行性語句的翻譯

4.4.1 賦值語句的翻譯

4.4.2 布爾表達式的翻譯

4.4.3 控制語句的翻譯

4.4.4 過程調用

4.4.5 類型檢查

4.5 本章小結

習題4

第5章 自動機的套用

5.1 有限自動機在自動控制軟體設計中的套用

5.1.1 有限自動機的基本特徵

5.1.2 用有限自動機進行軟體設計的方法

5.1.3 自動控制程式設計舉例

5.2 對KMP算法的一個改進

5.2.1 問題的提出

5.2.2 對KMP算法的改進

5.2.3 時間複雜度分析

5.3 移動通信營業系統中的自動機模型

5.3.1 系統概述

5.3.2 資料庫設計

5.4 圖形識別的有限自動機方法

5.4.1 問題的提出

5.4.2 使用DFA進行圖形識別

5.4.3 DFA的實現

5.4.4 套用效果

5.5 基於廣義有限自動機的圖像壓縮方法

5.5.1 問題背景

5.5.2 圖像的有限自動機表示

5.5.3 灰度圖像及有限自動機的構造

5.5.4 廣義自動機（GFA）及壓縮算法

5.5.5 實驗結果及結論

5.6 本章小結

習題5

第6章 符號表與運行時環境

6.1 符號表

6.1.1 符號表的組織與作用

6.1.2 符號表的建立與查找

6.1.3 作用域規則

6.2 目標程式運行時環境

6.2.1 過程與活動

6.2.2 活動記錄

6.2.3 名字綁定

6.3 目標程式運行時存儲器的劃分及存儲分配策略

6.3.1 存儲器的劃分

6.3.2 存儲分配策略

6.4 本章小結

習題6

第7章 代碼最佳化與代碼生成

7.1 代碼最佳化

7.1.1 局部最佳化

7.1.2 循環最佳化

7.1.3 循環最佳化舉例

7.2 代碼生成的實現過程

7.3 簡單的代碼生成器

7.3.1 基本塊、流圖和循環

7.3.2 暫存器分配

7.3.3 目標代碼生成算法

7.4 DAG的代碼生成

7.4.1 基本塊的DAG表示

7.4.2 DAG的代碼生成

7.5 本章小結

習題7

參考文獻