图灵机

图灵机，假设1936年由英国数学家和逻辑学家推出的一种计算设备艾伦·图灵。图灵最初认为这台机器是数学可以准确识别的工具不可判定的命题即:，those mathematical statements that, within a given formal axiom system, cannot be shown to be either true or false. (The mathematician库尔特·哥德尔证明了这种不可确定的命题存在于任何强大到足以包含算术的系统中。)相反，图灵证明了永远不存在任何通用的算法方法来确定一个命题是否不可定。

图灵机不是普通意义上的机器，而是一种理想化的机器数学模型这将任何计算设备的逻辑结构简化到最基本的部分。作为设想在图灵的设计中，机器以一系列离散的步骤来执行其功能，并且在任何给定时刻只假定有限的内部状态列表中的一种。机器本身包括一个无限扩展的磁带，一个能够在磁带上执行各种操作的磁带头，以及一个可修改的控制机构，可以存储有限指令集的指令。纸带被分成几个方块，每个方块要么是空白的，要么上面印着有限数量的符号之一。磁带头能够移动到、读取、写入和擦除任何单个方块，还可以随时改变到另一种内部状态。任何这样的行为都是由机器的内部状态和在给定时刻被扫描的正方形的状况决定的。机器的输出，即。，the solution to a mathematical query—can be read from the system once the machine has stopped. (However, in the case of Gödel’s undecidable propositions, the machine would never stop, and this became known as the “停止的问题”)。

的所有基本特征信息处理从那时起，图灵机就成为了所有机器的基础后续数字计算机，它们共享机器的基本方案输入/输出设备(磁带和读卡器)内存(控制机构的存储)，以及中央处理器(控制机制)。