书籍介绍
本书由计算机理论领域的知名权威Michaael Sipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。
本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
精彩摘录
- "Ignoring the trees to see the forest doesn't mean that one is more important than the other--it just gives a different perspective."
- "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 Turi"
用户评论
part 2 看了一部分, part 3 其他地方看过了, 没有细看
偶得，很不错的书！
只读了需要用到的PART1
书是好书，虽然英文版，但是慢慢看说得还是挺清楚的，但是但是。。。习题还是不会呀。。求答案。。。2012/1/10终于考完，和它的爱恨纠葛到此为止。
言简意赅，计算理论之美
What are the fundamental capabilities and limitations of computers?
入门经典
excellent
收藏