形式語言與自動機理論(第3版)（簡體書）

形式語言與自動機理論是計算機科學與技術專業的一門重要課程。《普通高等教育精品教材．21世紀大學本科計算機專業系列教材：形式語言與自動機理論（第3版）》是作者結合其20餘年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。不僅含有有關正則語言、上下文無關語言的文法、識別模型及其性質、圖靈機的基本知識，更涉及到本學科方法論中所包含的3個學科形態。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性，從而培養學生的形式化描述和抽象思維能力，使學生瞭解和初步掌握“問題、形式化、自動化（計算機化）”的解題思路。為了便於學生對內容的掌握，附錄A還給出了建議的教學設計。
《普通高等教育精品教材．21世紀大學本科計算機專業系列教材：形式語言與自動機理論（第3版）》配套出版有《形式語言與自動機理論教學參考書（第3版）》，歸納各章知識點，解讀主要內容，解析典型習題。
《普通高等教育精品教材．21世紀大學本科計算機專業系列教材：形式語言與自動機理論（第3版）》適合作為計算機科學與技術專業的高年級本科生、研究生的教材，也可供相關專業的學生、教師和科研人員參考。

蔣宗禮，1978年3月至1984年7月在哈爾濱工業大學計算機學科學習，曾經到美國、加拿大進修，自1984年起先後在哈爾濱工業大學和北京工業大學主講編譯原理、形式語言與自動機理論、人工神經網絡等課程。國家級教學名師，國家級教學團隊負責人，國家精品課程、國家精品資源共享課（立項）負責人，主編有國家級精品教材，獲國家教學成果二等獎2項，另有十余項省部級教學、科研成果一、二、三等獎。曾獲中國高校優秀青年學者、寶鋼優秀教師、航天部優秀青年教師等榮譽稱號。主要學術兼職有中國工程教育認證協會（籌）學術委員會委員、2012-2013年度結論審議委員會委員、計算機類專業認證分委員會成員，教育部高等學校計算機類專業教學指導委員會副主任、全國高校計算機教育研究會理事長、中國計算機學會教育專業委受會副主任。

第1章緒論
1.1集合的基礎知識
1.1.1集合及其表示
1.1.2集合之間的關係
1.1.3集合的運算
1.2關係
1.2.1二元關係
1.2.2等價關係與等價類
1.2.3關係的合成
1.2.4遞歸定義與歸納證明
1.2.5關係的閉包
1.3圖19
1.3.1無向圖
1.3.2有向圖
1.3.3樹
1.4語言
1.4.1什麼是語言
1.4.2形式語言與自動機理論的產生與作用
1.4.3基本概念
1.5小結
習題

第2章文法
2.1啟示
2.2形式定義
2.3文法的構造
2.4文法的喬姆斯基體系
2.5空語句
2.6小結
習題

第3章有窮狀態自動機
3.1語言的識別
3.2有窮狀態自動機
3.3不確定的有窮狀態自動機
3.3.1作為對DFA的修改
3.3.2NFA的形式定義
3.3.3NFA與DFA等價
3.4帶空移動的有窮狀態自動機
3.5FA是正則語言的識別器
3.5.1FA與右線性文法
3.5.2FA與左線性文法
3.6FA的一些變形
3.6.1雙向有窮狀態自動機
3.6.2帶輸出的FA
3.7小結
習題

第4章正則表達式
4.1啟示
4.2正則表達式的形式定義
4.3正則表達式與FA等價
4.3.1正則表達式到FA的等價變換
4.3.2正則語言可以用正則表達式表示
4.4正則語言等價模型的總結
4.5小結
習題

第5章正則語言的性質
5.1正則語言的泵引理
……

第6章上下文無關語言
第7章下推自動機
第8章上下文無關語言的性質
第9章圖靈機
第10章上下文有關語言
附錄A教學設計
附錄B縮寫符號
詞匯索引
參考文獻