通用图灵机

✍ dations ◷ 2025-09-18 05:12:17 #艾伦图灵,图灵机

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

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

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

相关

  • 醛固酮减少症醛固酮减少症(hypoaldosteronism ),是一种内分泌疾病,病状特征表现为醛固酮激素水平降低。与之类似,单一性低醛固酮症(isolated hypoaldosteronism)是一种醛固酮水平降低,而皮质醇没
  • 葡萄糖酸葡萄糖酸(化学式:C6H12O7),是葡萄糖的醛基经氧化生成的糖酸,D-葡萄糖酸学名“(2R,3S,4R,5R)-2,3,4,5,6-五羟基己酸”。天然存在于水果、蜂蜜、红酒和红茶菌中。D-葡萄糖被溴水(次
  • 兰斯·阿姆斯特朗兰斯·爱德华·阿姆斯特朗(英语:Lance Edward Armstrong,1971年9月18日-,出生名兰斯·爱德华·冈德森(Lance Edward Gunderson)),美国前职业公路自行车赛车手。他通过服用机能辅助类
  • 吉赛奇吉赛奇国家森林(英语:Kisatchie National Forest)是美国路易斯安那州唯一一座国家森林,位于七座县中松树林遍布的丘陵间,有着面积广阔的长叶松树林。
  • 瓦耳代丘陵瓦尔代高地(俄语:Валда́йская возвы́шенность,罗马化:Valdájskaja vozvýšennost’)位于俄罗斯中部,是中俄罗斯高地的延伸,海拔346.9米的最高点在上沃
  • 米歇尔·内伊米歇尔·内伊(Michel Ney,1769年1月10日-1815年12月7日),埃尔欣根公爵,莫斯科瓦亲王,被称为Le Rougeaud(“red faced”或“ruddy” 红脸子)和le Brave des Braves(“the bravest of th
  • 六氰合钴(III)酸铜(I)六氰合钴(III)酸铜(I)是一种无机化合物,化学式为Cu3,它可由化学计量比的六氟磷酸四乙腈合铜(I)和六氰合钴(III)酸钾在固态研磨反应得到,反应结束时混合物的颜色由白色转变为浅
  • 对羟基汞苯甲酸对羟基汞苯甲酸(英语:-hydroxymercuribenzoic acid,缩写为“pHMB”)也称为“对羟基汞基苯甲酸”,是一种巯基试剂,它可与半胱氨酸的巯基反应,从而达到分开两个半胱氨酸残基的目的。
  • IA 63教练机IA 63是阿根廷委托德国都尼尔公司研发的喷射教练机,其外形类似使用单发动机的阿尔法教练机。IA 63的机身为全金属半硬壳式结构,机身后方左右各有一块油压推动的减速板,机翼为梯
  • 第28届日本电影学院奖第28回日本电影学院奖于2005年2月18日公布获奖名单并举行颁奖仪式。