21世紀大學本科計算機專業系列教材：編譯原理

《21世紀大學本科計算機專業系列教材：編譯原理》系統地闡述了編譯系統的結構、工作流程、設計原理和實現技術。主要內容包括程序設計語言基本知識、詞法分析、語法分析、語義分析與屬性文法、語法制導的代碼生成、運行時存儲空間組織、代碼生成與優化等。通過書中的學習，使學生掌握編譯理論和方法的基本知識，具有設計實現、分析和維護編譯程序方面的初步能力，提高學生科學思維能力和綜合運用專業知識的能力與解決實際問題的能力。書中每章開始有本章內容簡介，每章後面都有與內容緊密相關、難度適宜的習題，可以使學生更好地掌握本章所學的知識內容。
　　《21世紀大學本科計算機專業系列教材：編譯原理》適合作為高等學校計算機及相關專業的教材，也可以作為考研學生的一本參考書。

　　康慕寧，1982年西北大學計算機系本科畢業，獲理學學士學位；1984年西北工業大學計算機系研究生畢業，獲工學碩士學位。現為西北工業大學計算機學院軟件與理論系教授，中國計算機學會高級會員。多年在教學一線主講計算機專業本科及研究生編譯原理、形式語言與自動機、組合數學等課程。參加多項科研項目，發表論文數十篇。編寫的「十五」國家級規劃教材《編譯原理》獲得2002年國家級優秀教材二等獎。主講的編譯原理課程被評為陝西省精品課程。

第1章 編譯程序理論概述
1.1 導言
1.2 語言及其翻譯
1.3 語法的功能
1.4 程序設計語言的發展
1.5 編譯程序的結構
1.5.1 詞法分析
1.5.2 字符串表
1.5.3 語法分析
1.5.4 語義分析
1.5.5 符號表
1.5.6 代碼優化程序
1.5.7 代碼生成程序
1.6 特殊約定
縮寫詞與關鍵字
習題

第2章 語法及其分類
2.1 概述
2.2 文法
2.2.1 字母表與字符串
2.2.2 非終結符與產生式
2.2.3 文法的例子
2.3 文法及語言的Chomskey分類
2.4 規範推導
2.5 文法的二義性
習題

第3章 掃瞄器與正規語言
3.1 詞法分析程序簡介
3.2 正規表達式
3.2.1 正規表達式代數
3.2.2 正規表達式的性質
3.3 有限狀態自動機
3.4 非確定的有限狀態自動機
3.5 將正規文法轉換為自動機
3.6 NDFA的確定化及化簡
3.7 從有限狀態自動機轉換到正規文法
3.8 有限自動機在計算機中的實現
3.9 掃瞄器實現中的特殊問題
3.9.1 輸入符號表
3.9.2 掃瞄器自動機中的終止狀態
3.9.3 刪除空白符號與註釋
3.9.4 輸出單詞
3.10 字符串表的實現
3.11 保留字
3.12 使用掃瞄器自動生成工具
縮寫詞與關鍵字
習題

第4章 語法分析與前後文無關文法
4.1 導論
4.2 下推自動機
4.2.1 停機條件的等價性
4.2.2 從前後文無關文法CFG構造PDA
……

第5章 語義分析與屬性文法
第6章 語法制導的代碼生成
第7章 符號表
第8章 運行時存儲空間的組織與管理
第9章 代碼優化
第10章 目標代碼生成
參考文獻