本書是關于形式語言、自動機理論和計算復雜性方面的經(jīng)典教材，是三位理論計算大師的巔峰之作，現(xiàn)已更新到第3版。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質(zhì)、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質(zhì)、圖靈機、不可判定性以及難解問題等內(nèi)容。

John E. Hopcroft，在斯坦福大學獲得博士學位，現(xiàn)為康奈爾大任康奈爾大學工程學院院長。他是1986年圖靈獎獲得者。他的研究興趣集中在計算理論方面，尤其是算法分析、自動機理論等。