，由艾伦·图灵在1936年发明。这种多用途单机器（计算机器）模型可以「运行」任何任意（但well-formed）指令序列（称为 "quintuples"）。这模型被一些人例如Davis (2000) 认为是「存储程序电脑」的原点。存储程序电脑一词由约翰·冯·诺伊曼使用在他的《电子计算装置》（"Electronic Computing Instrument"）。这种电脑现在使用冯·诺伊曼的名字称为冯·诺伊曼结构。这机器作为计算模型现在称为「通用图灵机」。
介绍.每台图灵机从它的字