可计算性与计算复杂性张立昂第三版

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