计算理论的另一些书籍：
计算机之父、人工智能之父Alan Turing(艾伦·图灵)从事的研究主要就是计算机理论也就是计算理论（海南琼州大学的师爷黄际遇大师就是图灵的师爷叔-因在黄际遇师亲撰的《万年山中日记》一书说到“际遇游学芝加哥,得师事Eliakim H. Moore大师”因此图灵的导师Church的导师Veblen是黄际遇师的师兄弟[关于这日记-蔡元培曾说“任初日记,如付梨枣,须请多种专门者为之校对”任初就是黄际遇师的名]-可参考这页）--而图灵的师弟Hartley
Rogers, Jr.也独撰482页的高被引名著《Theory
of recursive functions and effective computability递归函数理论与有效可计算性》（可见“进入哈佛应用数学系之后，Ritchie和Meyer对计算理论越来越感兴趣，因此他们找到了Patrick
Fischer 作为自己的导师”---这Patrick
Fischer就是这书作者Rogers的博士，并他的这2个找到他的博士之一的Dennis
M. Ritchie就是1983年获得计算机诺贝尔奖图灵奖的C语言之父，UNIX之父）
人工智能之父Marvin
L. Minsky的《Computation: Finite and Infinite Machines-计算:有限和无限机器》；
人工智能之父John
McCarthy的“A
Basis for a Mathematical Theory of Computation”（它的十余个参考文献除了John
McCarthy自己的外，还有上面Church的2个文献、Church的这里3个博士Davis、Kleene和图灵的各一个文献，再有最近获得图灵奖的Naur的编辑的一篇报告文章[Naur也写了630页的《计算》一书-也足见计算即计算理论是一个起广泛基本革命性的学科领域]，剩下就是3个俄罗斯人Ershov、A. A. Markov和Janov(yanov)各一个文献，并仅马尔科夫的儿子A. A. Markov的文献是书籍上下册并这书共32个文献中除该苏联12个外，还有Axel Thue[他的博士的博士Ore是海南琼州大学曾居世界领先的哈密顿图现代开创者]、Laszlo Kalmár及其长期共事合作者Rózsa
Péter [他俩的师弟Paul
Erdős是史上十大天才]、哥德尔等各一个文献，上面Church和其3个博士Kleene、图灵和J. B. Rosser分别是4、3、2、1个文献，可见就如刚见的这里倒数第2段说海南琼州大学的师爷叔Church及其2个博士Kleene[克莱尼]、图灵和哥德尔是计算理论创始人并开启了计算机计算的时代），John
McCarthy在上文最后也说“The
relationship between computation and mathematical logic will be as fruitful in
the next century as that between analysis and physics in the last计算和数理逻辑之间的关系在下个世纪将与分析和物理之间的关系一样富有成效”--费曼说分析是上帝的语言--这足见“数理逻辑”将对上帝计算机起重大的革命性作用。
计算机之父John von Neumann约翰·冯·诺依曼的《计算机与人脑》诠释了计算机数学运算与人脑思维的关系。
当然，这领域的专业研究人员的全面性的基础性用书还得首推1986年图灵奖获得者John
Hopcroft主撰在1969年出版的《Formal Languages and
Their Relation to Automata》并至今修改再版多次如1979年以及1994年的书名都改为《Introduction
to automata theory, languages, and computation》，特别是我国非常重视已翻译几个版本（John
Hopcroft的博士Alfred V. Aho主撰好几本这方面的书籍如最近一本是1992年出版的765页《Foundations of computer science(计算机科学的基础)》；John
Hopcroft的另一博士Gilles
Brassard在1988年为首出版的361页的《Algorithmics:
theory & practice算法学：理论与实践》，1996年又出版524页的《Fundamentals
of algorithmics算法基础》，这作者Gilles
Brassard已被誉为量子密码学奠基人）。
还有就是刘炯朗院士的师兄Fred C. Hennie
的374页的《Introduction to
computability可计算性导论》（哈佛学院院长Lewis和上面比尔·盖茨的老师Papadimitriou合写的同类书籍《计算理论基础》的第3个文献是刘炯朗院士的《Topics in combinatorial
mathematics组合数学专题》）；再说一本同类书籍：牛津大学博士Douglas S. Bridges独撰的《Computability可计算性》
Graduate Texts in Mathematics数学研究生教科书（以及这Douglas S.
Bridges评论的2个哈佛大学博士Marian
B. Pour-El和J. Ian Richards合撰《Computability
in analysis and physics》--其中的作者J. Ian Richards是海南琼州大学的编委Paul
Garabedian的师弟）-这作者Douglas S. Bridges的导师Robin
O.Gandy就是上面计算机之父、人工智能之父艾伦·图灵(Alan Turing)的唯一博士（参见对国人来说可说是非常珍贵的视频：对王浩和Robin Gandy的访谈，这Gandy的博士Martin Hyland在密码学方面成就很大）
再说一本最近哈佛大学的图灵奖获得者Leslie
G. Valiant的在1995年最先出版的《Circuits
of the Mind》一书，Leslie
G. Valiant details a promising new computational approach to studying the
intricate workings of the human brain即Leslie
G.Valiant详细介绍了一种研究人脑复杂工作的有前景的新计算方法（Leslie G. Valiant的导师的导师的导师是上面Hartley
Rogers, Jr.，Leslie G.
Valiant对众多的计算理论,包括PAC学习、枚举复杂性和代数计算和并行与分布式计算所做的变革性的贡献而获得图灵奖）。
还可参考这个网页、以及这个有更多著名计算理论书籍的网页，还有这个网说到的3个获得图灵奖的师兄弟的计算理论书籍；
这个网也说到另一些计算机理论书籍及其与图论关系，还有这个网的计算机理论书籍，也可参考这中国第一个组合数学研究室的下面部分的计算机理论书籍等等。