内容简介随着计算机科学曰趋成熟并走向规范化，作为其甚础的计算理论的重要性也更加突出。作者根据本书第一版出版后使用中教师和学生的反馈意见和想法以及计算机科学的最新发展进行了修订。本书既讲述了经典的计算理论，又介绍了现代计算理论。全书共7章：1集、关系与语言，2有限自动机，3上下文无关文法语言，4.图灵机，5不可决定性，6计算复杂性，7.NP完全问题。本书适合于计算机系作本科生教材，也是一本难得的有关计算理论的参考书。