作者：
出版社： 机械工业出版社
CIP号：2018128299
书号：978-7-111-60205-7
出版地：北京
出版时间：2018.6
定价：￥89
本书由计算理论领域的知名学者Michael Sipser所撰写。他以独特的视角，系统地介绍了计算理论的三大主要内容：自动机与语言，可计算性理论，计算复杂性理论。全书以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为研究人员的参考书。