【计算理论导引】西普塞.pdf

【计算理论导引】西普塞.pdf

计算机科学丛书 计算理论导引(美)MichaelSipser著(麻省理工学院)张立昂王捍贫黄雄译(北京大学) Chlna MachinePress译者序 M.Sipser著的《IntroductiontotheTheoryofComputation》是关于计算理论的基础教 材,在美国的大学计算机系中得到广泛的使用,我们希望这个译本对我国高等院校的计算机 教育能有所帮助.本书的内容分三个部分:自动机与语言、可计算性和计算复杂性理论。绝大部分内容是 基本的,对可计算性和计算复杂性理论中的某些高级内容作了重点介绍(第7章和第11 章)。本书的一个重要写作特点是不仅让读者“知其然”,而且极力使读者“知其所以然”.在叙述概念的形式定义之前,总是先给出问题提出的背景、概念的直观含义、提出这个概念 的初衷以及它在实际中的应用。前言 写给学生 欢迎使用本书！你将开始学习的是重要而又引人人胜的一课:计算理论。它包括计算机硬件、软件以及 某些应用的基本数学特性。通过学习这一科目,我们试图解决什么是能计算的,什么是不能 计算的,有多快,要用多少存储,以及采用什么计算模型等。该科目与工程实践有着明显的 联系。同时,与许多学科一样,它也具有纯理论的一面.我知道你们中有许多人盼望学习这门课程,而有些人可能不是这样想的。你可能想得到 计算机科学或者计算机工程的学位,而一门理论课程是必需的一天晓得为什么要这样。难 道理论终究不是神秘的、令人厌烦的吗？而且最坏的是,不是与我毫不相干的吗？