上传者: xueyuxueyu
|
上传时间: 2020-02-25 03:16:39
|
文件大小: 9.69MB
|
文件类型: pdf
本书是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要
介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模
型,时间和空间复杂性,NP完全性等.
本书可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参
考书,还可作为对计算理论感兴趣的读者的入门读物.