英文版：Introduction to Automata Theory, Languages, and Computation 內容簡介 《自動機理論、語言和計算導論》是關于形式語言、自動機理論和計算復雜性方面的經典之作。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的性質、圖靈機、不可判定性以及難解問題等內容。本書在定義和證明中使用了很多細節和直觀說明，使用圖來幫助闡明思想，并包含了大量的難度各異的示例和習題，以便讀者確認和加深對內容的理解。 《自動機理論、語言和計算導論》適合作為計算機專業高年級本科生及研究生計算理論課程的教材和教學參考書。 作者簡介 John E.Hopcroft，康奈爾大學計算機科學系教授，工程學院Joseph Silbert院長，康奈爾大學工程學院計算機科學主任。1986年圖靈獎獲得者。