图灵机与计算理论

前言 图灵机和计算理论是人工智能乃至整个计算机科学的理论基础，邱奇-图灵论题告诉我们一切可计算过程都可以用图灵机模拟。 图灵机 图灵机，又称图灵计算、图灵计算机，是由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽象计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算。 图灵机指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方

>>阅读原文<<