内容简介  · · · · · ·

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的，陸质、图灵机、不可判定性以及难解问题等内容。

本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

作者简介  · · · · · ·

John E.Hopcroft 于斯坦福大学获得博士学位，现为康奈尔大学计算机科学系教授。1994年到2001年，任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。

Rajeev Motwani 于加州大学伯克利分校获得博士学位，现为斯坦福大学计算机科学系教授。他的研究兴趣包括：数据库、数据挖掘，Web搜索和信息检索、机器人等。

Jeffrey D. Ullman 斯坦福大学计算机科学系 Stanford W. Ascherman 教授，数据库专家，美国国家工程院院士。他的研究兴趣包括：数据库理论、数据库集成、数据挖掘、理论计算等。