本書是關於形式語言、自動機理論和計算複雜性方面的經典之作。書中涵蓋了有窮自動機、規則運算式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本書在定義和證明中使用了很多細節和直觀說明，使用圖來幫助闡明思想，並包含了大量的難度各異的示例和習題，以便讀者確認和加深對內容的理解。
本書已被世界許多 大學作為電腦理論課程的教材或教學參考書，適合作為高校電腦專業高年級本科生及研究生的教材，還可供從事理論計算工作的研究人員參考。
本書已被世界許多 大學作為電腦理論課程的教材或教學參考書，適合作為高校電腦專業高年級本科生及研究生的教材，還可供從事理論計算工作的研究人員參考。