图灵机是一种抽象的机器，一种抽象的计算模型。图灵机证明了通用计算理论，肯定了计算机实现的可能性，同时它给出了计算机应有的主要架构，但是“图灵机”只是假象的“计算机”，完全没有考虑硬件状态，考虑的焦点是逻辑结构。

图灵的根本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作以下两种简单的动作:2)把注意力从纸的一个位置移动到另一个位置;一个状态存放器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的，并且有一个特殊的状态，称为停机状态。这个机器的每一局部都是有限的,但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程

关键词： 图灵机形式化的原理是什么 图灵机是什么 对图灵机的认识和理解 图灵机原理详解