图灵机工作模式是存储程序、顺序控制。所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。机器头有一组内部状态，还有一些固定的程序。

　　

　　1936年，英国数学家阿兰麦席森图灵(1912-1954年)提出了一种抽象的计算模型――图灵机(Turingmachine)。图灵机，又称图灵计算机，即将人们使用纸笔进行数学运算的过程进行抽象，由一个虚拟的机器替代人类进行数学运算。图灵机有很多变种，但可以证明这些变种的计算能力都是等价的，即它们识别同样的语言类。证明两个计算模型A和B的计算能力等价的基本思想是：用A和B相互模拟，若A可模拟B且B可模拟A，则它们的计算能力等价。注意这里我们暂时不考虑计算的效率，只考虑计算的理论“可行性”。