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