形式語言與自動機理論是計算機類專業(yè)的一門重要課程。本書是作者結合其近40年來在大學講授該門課程的經(jīng)驗和體會，選擇和組織有關內容撰寫而成。基于計算機問題求解的需要討論正則語言和上下文無關語言的文法、識別模型及其性質，圖靈機的基本知識。其內容特點是抽象和形式化，既有嚴格的理論證明，又具有很強的構造性。敘述中特別注意引導讀者分析與解決問題，以培養(yǎng)學生的形式化描述和抽象思維能力，使學生了解和初步掌握“問題、形式化、自動化（計算機化）”的解題思路。為了便于學生對內容的掌握，附錄A還給出了建議的教學設計。 本書配套出版有《形式語言與自動機理論教學參考書》（第4版），歸納各章知識點，解讀主要內容，解析典型習題。 本書適合作為計算機學科研究生和高年級本科生的教材，也可供相關專業(yè)的學生、教師和科研人員參考。