《计算理论导引（原书第3版）》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角，系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
We have come to a turning point in the study of the theory of computation. We continue to speak of Turing machines, but our real focus from now on is on algorithms. That is, the Turing machine merely serves as a precise model for the definition of algorithm. We skip over the extensive theory of Turing machines themselves and do not spend much time on the low-level programming of Turing machines. We need only to be comfortable enough with Turing machines to believe that they capture all algorithms. (查看原文)
在所有我看过的计算理论、可计算性、计算复杂度的教材中，Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁，直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction，真是再好不过了。 计算理论...
(展开)
RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指导一下，请告知翻译版本的书名，出版社等信息 RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指...
(展开)
etone
机械工业出版社2002版
平凡的老鱼
机械工业出版社2006版
RONGE KUTA
机械工业出版社2006版
ying17zi
Cengage Learning2005版
我要飞羊习习
Cengage Learning2005版
老鼠阿多
机械工业出版社2006版
9 有用 无情小猫咪🐈 2016-10-04 15:03:12
没有人说这书很难么？你们都太不诚实了。不过收获也很多，总算把 NP 完全问题搞明白了，顺带了解了好多其他的完全问题😂
0 有用 None 2017-04-23 01:04:55
清晰，经典
0 有用 KeepRunner 2022-01-26 17:06:59
粗略浏览，简单科普了下什么是可计算的，为什么计算机的图灵模型就一定能解决这类问题，以及各类编程语言的等价性，后续有需求在来深挖，循例有限状态机fsm而来，不过感觉领悟力偏弱
0 有用 风空之枫 2021-04-30 21:34:34
潦草看了下前三章，相当棒
0 有用 discuz_x 2023-05-07 17:19:42 广东
能把计算理论讲的如此简单易懂，作者真是厉害。
0 有用 赋予术士 2023-11-07 11:47:45 山东
补标
1 有用 皆漆静 2023-10-29 09:53:17 北京
清晰，醍醐灌顶，要考试了…
0 有用 momo 2023-07-13 17:45:31 浙江
粗略地读完了第一和第二部分。计算机科学的精神是充分发挥人的想象力去设想和创造那些未来有可能实现的事情，并用理性的分析去洞察在这一过程中关键的难题。
0 有用 ankh04 2023-07-05 13:25:51 湖北
计算理论的证明是真的复杂呀...连作者自己都觉得很多“显而易见”的定理不一定需要证明。计算理论也真的是好有意思，从理论上证明图灵机的极限能让人更深刻的理解现代计算机。
0 有用 章黄 2023-05-19 14:52:42 上海
用心读书，宽心做题。此书中有些题真的很难，不做也罢。