计算理论导引
Introduction to the theory of computation
Michael Sipser · 初版 1996 年
- 96次提及
- 66人推荐
- 89位 HN 评论者
为什么值得读
逻辑严密且平易近人，系统清晰地讲透自动机与图灵机
- 行文清晰流畅，兼具严密逻辑与极佳可读性
- 几十页就能读懂状态机与图灵机的核心魅力
- 全书脉络极其连贯，数学门槛并不高
适合：希望掌握自动机与计算理论基础的学生和开发者
值得读指数：91 / 100
Hacker News 读者推荐
……Rivest 和 Stein；Hyde 的《汇编语言的艺术》；一本数字逻辑的书（不确定哪本最受推崇），以及一本计算机体系结构的书（参见 tftfmacedo 的回复）；Tanenbaum 的《现代操作系统》；Sipser 的《计算理论导引》；Aho、Lam、Sethi 和 Ullman 的《编译原理》（即“龙书”）；Scott 的《编程语言实用主义》；一本数据库设计的书（讲关系型……
T-R 在 HN 的推荐
本科读了两年半，Sipser 的《计算理论导引》是我迄今为止遇到的唯一一本除了课后作业外真觉得受益匪浅的计算机教材，另外就是 K.N. King 的《C语言程序设计：现代方法》了。（为了保持……
LeafStorm 在 HN 的推荐
……Edit：以及 type state 模式 http://cliffle.com/blog/rust-typestate/ 顺便说一句，如果你想深入搞懂 FSM（有限状态机）和自动机理论（以及一些基础语言理论主题），去读 Sipser 的书《计算理论导引》。只需几十页，你就能从逻辑推演到状态机，并领悟为什么图灵机这么屌。里面的数学其实一点都不劝退。
unlinked_dll 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 053494728X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。