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