自動機(jī)理論、語言和計算導(dǎo)論（原書第3版）

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

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