图灵机与计算理论

前言

图灵机和计算理论是人工智能乃至整个计算机科学的理论基础，邱奇-图灵论题告诉我们一切可计算过程都可以用图灵机模拟。

图灵机

图灵机，又称图灵计算、图灵计算机，是由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽象计算模型，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人们进行数学运算。

图灵机指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。

每一个会决策、会思考的人都可以被抽象地看成一台图灵机。该模型主要有四要素：输入集合、输出集合、内部状态和固定的程序。如果把人进行抽象，那么输入集合就是所处环境中所看到、听到、闻到、感觉到的一切；输出集合就是人的每一言每一行，还有表情动作；内部状态集合则可以把神经细胞的状态组合看