作者	[美]MichaelSipse
出版社
出版时间	2006-01-01

特色：

本书系统地介绍计算理论的三大主要内容：自动机与语言、可计算性理论和计算复杂性理论。同时，对可计算性和计算复杂性理论中的某些高级内容作了重点讲解。