自动机理论、语言和计算导论（中文）霍普克罗夫特（JohnE.Hopcroft）

《自动机理论、语言和计算导论》是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。《自动机理论、语言和计算导论》已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合作为国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。　　以简洁和易理解的方式讲述理论概念。强调理论的现代应用。使用大量的图来帮助表达概念。提供定义和证明的更多细节。每章提供大量难易程度不同的练习。