《计算理论导引（原书第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版
0 有用 discuz_x 2023-05-07 17:19:42 广东
能把计算理论讲的如此简单易懂，作者真是厉害。
0 有用 ankh04 2023-07-05 13:25:51 湖北
计算理论的证明是真的复杂呀...连作者自己都觉得很多“显而易见”的定理不一定需要证明。计算理论也真的是好有意思，从理论上证明图灵机的极限能让人更深刻的理解现代计算机。
0 有用 都会华灯初上 2016-08-06 16:54:20
干货满满，所以我给三星。
1 有用 崇朝其雨 2024-07-29 13:05:05 日本
课后习题超级难，学了一学期每章差不多还有一半题目不会做😣也是敢去考期末了。翻译没在正文注明名词的英文也有点不方便。 另外语言学的学生看到书里乔姆斯基大量发生真的有点百感交集😇
0 有用 章黄 2023-05-19 14:52:42 上海
用心读书，宽心做题。此书中有些题真的很难，不做也罢。
1 有用 崇朝其雨 2024-07-29 13:05:05 日本
课后习题超级难，学了一学期每章差不多还有一半题目不会做😣也是敢去考期末了。翻译没在正文注明名词的英文也有点不方便。 另外语言学的学生看到书里乔姆斯基大量发生真的有点百感交集😇
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 湖北
计算理论的证明是真的复杂呀...连作者自己都觉得很多“显而易见”的定理不一定需要证明。计算理论也真的是好有意思，从理论上证明图灵机的极限能让人更深刻的理解现代计算机。