作者	张立昂
出版社
出版时间	2004-07-01

特色：
本书是学习计算理论的教材和参考书，内容包括三部分：可计算性、形式语言自动机、计算复杂性．主要介绍几种计算模型及它们的等价性，函数、渭词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等．本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对计算理论感兴趣的读者的入门读物．

本书是学习理论计算机科学基础的教材和参考书，内容包括三部分： 可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP完全性等。 本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入门教材。