INTRODUCTION TO THE THEORY OF COMPUTATION
MICHAEL SIPSER2002 年出版401 页ISBN：711110840X
（美）西普塞（Michael Sipser）著；张立昂等译2000 年出版273 页ISBN：7111075749
本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思...
INTRODUCTION TO THE THEORY OF COMPUTATION SECOND EDITION
[美]MICHAEL SIPSER著2006 年出版437 页ISBN：
Introduction to the Theory of Computation Second Edition
Michael Sipser2006 年出版437 页ISBN：7111173279
本书系统的介绍了计算理论的三个主要内容：自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。...
（美）塞普瑟（Sipser，M.）著；唐常杰等译2006 年出版269 页ISBN：7111190289
本书系统地介绍了计算理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。
Michael D.Stubblefield，Michael W.ODell原著；吴秉修，周芝安译2013 年出版326 页ISBN：9861269252
Michael Leathes ; with a foreword by Michael McIlwrath2017 年出版307 页ISBN：9789041167347
edited by Michael W. Chapman ; Michael Madison1988 年出版1545 页ISBN：0397507720
（美）（M.阿比）Michael Abbey，（美）（M.J.科里）Michael J.Corey著；王新连等译1996 年出版337 页ISBN：7505334743
