通用图灵机

✍ dations ◷ 2025-12-07 16:24:09 #艾伦图灵,图灵机

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

这机器作为计算模型现在称为“通用图灵机”。

每台图灵机从它的字母表得到字元串计算一确定的固定偏可计算函数。从外观上它的行为就像一台使用固定程式的电脑。尽管如此，我们可以把任何图灵机的动作表格编码到一条字元串。因此，我们可以建构出一台图灵机，它期待的纸带上记载有一条用以描述动作表格的字元串紧跟着一条用以描述输入的字元串，从而计算那台被编码的图灵机所计算的。图灵在1936年的文章中详细描述如此的构思。

相关

中继透镜中继透镜（relay lens）通常有两组镜片，安装在镜筒中组成，镜片可以是普通球面透镜，也可以是非球面透镜。虽然名称叫做中继透镜，但它并不是透镜。两组镜片，至少有两个配对透镜或两个配
胞桥小体桥粒（英语：desmosome，亦称为胞桥小体、细胞膜吸著部或桥体）是一种相邻细胞之间连接的结构。根据桥粒连接形态，可分为点状桥粒、带状桥粒和半桥粒。桥粒是细胞连接的一种。桥粒有
纸草纸草可能指以下条目：
秦献公秦献公（前424年－前362年），《世本》作秦元献公，《越绝书》作秦元王。《史记索隐》记载名师隰，《吕氏春秋》记载名连，战国时期秦国君主。秦灵公之子，在位23年。秦献公早年流亡魏国，回国
智利火烈鸟智利火烈鸟（学名Phoenicopterus chilensis）是一种大型的火烈鸟，长110-130厘米。它们是美洲红鹳及大红鹳的近亲，有时甚至将这三种看为同一物种。智利火烈鸟在南美洲由厄瓜多尔及
阿尔及利亚战争阿尔及利亚战争是1954年至1962年期间阿尔及利亚争取独立的武装力量与法国之间的战争，最终法国同意阿尔及利亚独立。美国政府支持法国维持他们的殖民地。贾迈勒·阿卜杜-纳赛
马克西姆·佩尔菲利耶夫马克西姆·佩尔菲利耶夫（俄语：Максим Перфильев，1580年－1638年），是俄罗斯帝国时期的一位哥萨克探险家，他也是第一位到达外贝加尔山脉的俄罗斯人。他也因在同通古斯
黄葆戉黄葆.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger
密齿小檗密齿小檗或长叶小檗（学名：）为小檗科小檗属下的一个种。
阿纳斯塔西亚·古巴诺娃阿纳斯塔西亚·维塔利耶芙娜·古巴诺娃（俄语：Анастасия Витальевна Губанова，2002年12月2日－），生于萨马拉州陶里亚蒂，是俄罗斯女子花样滑冰运动员。曾