Elements of the Theory of Computation

这并非一本让你轻松读完的畅销书，而是一本需要你在纸笔间反复推演的教科书。它被广泛用于高级与研究生阶段的计算理论课程，以自动机为核心，构建起对"计算究竟能做什么"的系统认知。读者对它的评价两极分明：有人盛赞它"体系清晰、短小精悍"，用相对克制的篇幅讲透了计算理论的骨架；也有人坦言读起来"各种被虐"，甚至怀疑自己"在这方面可能不太擅长"。它不追求广度，因此有人惋惜它未涵盖 circuit complexity 与 PSPACE，也有人据此判断：若只想浅尝辄止，GEB 或许更合适，而这本书只适合真正把它当教材啃下去的人。它适合那些愿意直面抽象、把证明一步步推到底的读者，而非寻求速成的读者。