形式語言與自動機理論因其以體現計算學科中模型描述、模型研究和模型計算為問題求解的主要特征而成為計算機科學與技術、軟件工程、網絡空間安全等計算機類學科教育的最重要的內容之一。本書按照我國當前計算機類及相關學科研究生教育實際需求，結合作者30余年的教學實踐編著而成，以正則語言與上下文無關語言的文法、識別模型及其性質，以及圖靈機基本知識為載體，分9章討論相關內容，力圖強化學生基於模型的建立、研究、處理，實現問題求解的意識，讓學生掌握相應的基本方法，提升解決問題的能力與水平。

本書適合計算機類及相關學科研究生使用，也可以供相關專業高年級本科生、教師和科研人員參考。

蔣宗禮，教授，博士生導師。國家級教學名師，享受政府特殊津貼，國家精品課程、國家精品資源共享課「編譯原理」負責人、計算機軟件基礎課國家級教學團隊負責人,主編高等教育「十一五」、「十二五」國家級規划教材多部，《形式語言與自動機理論》為普通高等教育國家級精品教材。獲國家教學成果二等獎2項，省部級教學、科研獎勵十多項。曾獲CCF傑出教育獎和中國高校優秀青年學者、寶鋼優秀教師、航天部優秀青年教師等榮譽稱號。主要學術兼職有中國工程教育認證協會學術委員會委員、結論審議委員會委員、計算機類專業認證委員會委員、教育部高校計算機類專業教學指導委員會副主任，歷任全國高校計算機教育研究會正、副理事長，中國計算機學會教育專委正、副主任，中國計算機學會教育工委正、副主任，是計算機類國家級教學團隊協作組發起人、國家精品資源共享課建設專家組成員。近年主講編譯原理、形式語言與自動機理論、新生研討課等。