本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。
本书特点
● 以简洁和易理解的方式讲述理论概念。
● 强调理论的现代应用。
● 使用大量的图来帮助表达概念。
● 提供定义和证明的更多细节。
● 每章提供大量难易程度不同的练习。
无
John E. Hopcroft;Rajeev Motwani;Jeffrey D. Ullman：John E. Hopcroft: John E. Hopcroft 于斯坦福大学获得博士学位，美国康奈尔大学计算机科学系教授、美国国家工程院院士，曾担任贝尔实验室的顾问。
Rajeev Motwani: 斯坦福大学计算机科学系教授、研究生主管。
Jeffrey D. Ullman: 斯坦福大学计算机科学系Stanford W. Ascherman教授，数据库技术专家。他独立或合作出版了15本著作，发表了170多篇技术论文。他的研究兴趣包括数据库理论，数据库集成，数据挖掘和利用信息基础设施进行教育。他获得了Guggenheim Fellowship等多种奖励，并被推选进入美国国家工程院。他还被授予1996年度Sigmod贡献奖和1998年度Karl V.Karstrom杰出教育家奖。 他先后在Prentice Hall出版了A First Course in Database Systems, Database Systems Implementation, Elements of ML Porgramming等著作。
