自动机理论、语言和计算导论(英文版.第3版)

这并非一本可以一口气读完的入门书。翻开它，你首先会遭遇的是证明的密度与精巧程度：从有穷自动机到图灵机，从可判定到不可判定，每一步都建立在严密的逻辑推演之上。读者反馈呈现出一种近乎两极的分化——有人视其为理解计算机科学理论的必经之门，也有人坦言"注定只能在门外徘徊"。它的独特之处恰恰在于这种筛选性：它不保证让你轻松入门，而是逼你重新理解"计算"究竟意味着什么。书中那些被反复提及的"冗长繁瑣"的证明，以及"有一个错误""翻译很差"之类的批评，反而构成了它的真实价值：这不是一本提供答案的书，而是一套训练思维方式的工具。真正适合它的，是愿意为理解图灵机的本质付出耐心、并享受证明美感的人。

John E.Hopcroft 于斯坦福大学获得博士学位，现为康奈尔大学计算机科学系教授。1994年到2001年，任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。 Rajeev Motwani 于加州大学伯克利分校获得博士学位，现为斯坦福大学计算机科学系教授。他的研究兴趣包括：数据库、数据挖掘，Web搜索和信息检索、机器人等。 Jeffrey D. Ullman 斯坦福大学计算机科学系 Stanford W. Ascherman 教授，数据库专家，美国国家工程院院士。他的研究兴趣包括：数据库理论、数据库集成、数据挖掘、理论计算等。