图书信息

作　者：（美）西普塞 著，唐常杰 等译

出 版 社：机械工业出版社

出版时间：2006-7-1

版　次：2

页　数：269

印刷时间：2006-7-1

纸　张：胶版纸

印　次：1

I S B N：9787111190288

包　装：平装

内容简介

本书是计算理论领域的经典著作，被国外多所大学选用用为教材。本书以注重思路、深入引导为特色，系统地介绍计算机理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂理论中的某些高级内容作了重点讲解。全书通过启发性的问题、精彩的结果和待解决问题来引导读者挑战此领域中的高层次问题。新版的一大亮点是增加了更多习题、教辅资料和部分习题解答，更加有利于教学。

全书叙述由浅入深、详略得当，重点突出，不拘泥于技术细节。可作为计算机专业高年级本科生和研究生的教材，也可作为相关专业教师和研究人员的参考书。