自动机理论、语言和计算导论（原书第2版）

这是一门让无数读者又爱又恨的「劝退」课程。从短评里反复出现的「真难」「很费脑子」「看晕了」，能看出它并不讨好：前几章关于有穷自动机、正则语言的部分被公认「朴实刚健、收益很大」，而一到图灵机与复杂性理论，评价便急转直下。正因如此，它的价值恰恰在于那条清晰的能力曲线——入门友好、越往后越见真章。读者奔着编译原理而来，最终收获的却是对「什么可计算、什么不可判定、什么难解」的系统认知。需要提醒的是：作为几十年前的经典，中译本译文质量参差，书中亦被指出存在个别错误，阅读时需保持怀疑、动手验证。适合愿意啃硬骨头、想彻底打通计算理论底层逻辑的读者。