定义
通用图灵机是一种图灵机，由艾伦·图灵在1936年发明。这种多用途单机器（计算机器）模型可以“运行”任何任意（但well-formed）指令序列（称为 “quintuples”）。这模型被一些人例如Davis (2000) 认为是“存储程序电脑”的原点。存储程序电脑一词由约翰·冯·诺伊曼使用在他的《电子计算装置》（“Electronic Computing Instrument”）。这种电脑现在使用冯·诺伊曼的名字称为冯·诺伊曼结构。
这机器作为计算模型现在称为“通用图灵机”。
Quote
它可以表达成一台单一的特殊机器，这种型式的机器可以被塑造成去做到所有工作。事实上，它可以被塑造成如同任何其他机器的模型般工作。这种特殊机器或许可以被称呼为通用机器。 ——1947年的艾伦‧图灵