通用图灵机

✍ dations ◷ 2025-11-28 04:28:28 #艾伦图灵,图灵机

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

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

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

相关

  • 吞咽困难吞咽障碍(dysphagia) 是描述在吞咽时出现困难的医学术语,虽然归类在国际疾病分类-10症状与症候的次分类下 ,此术语有时会单独使用, 有些有吞咽障碍的人并不知道自己有此困难。
  • 树蛙Leptomantis Peters, 1867 Rhacoforus Palacky, 1898 (lapsus) Racophorus Schlegel, 1826 (lapsus)树蛙(学名:Rhacophorus)是无尾目树蛙科下的一个属,全世界大约有80种,大多皮色
  • Beta2微球蛋白1A1M, 1A1N, 1A1O, 1A6Z, 1A9B, 1A9E, 1AGB, 1AGC, 1AGD, 1AGE, 1AGF, 1AKJ, 1AO7, 1B0G, 1B0R, 1BD2, 1C16, 1CE6, 1CG9, 1DE4, 1DUY, 1DUZ, 1E27, 1E28, 1EEY, 1EEZ, 1EFX
  • 加纳王国加纳帝国,或称加纳王国,非洲一古代黑人王国,中心约在尼日河中上游地区。加纳帝国的强盛时期约在公元9世纪-11世纪,统治著撒哈拉沙漠以南的西非地区,包含毛里塔尼亚东南部和马里西
  • 斐济总统斐济总统是斐济的虚位元首。斐济于1970年从英国独立,1987年发生了两起军事政变,第一次是有人不满政府由当地的印度裔垄断,第二次是要求废除君主立宪,实施共和制,以总统取代总督。
  • 凯旋站 (台湾)凯旋站是高雄捷运红线的捷运车站,位于高雄市前镇区中山四路及凯旋四路路口,邻近前镇聚落,站点在古代近前镇庄的顶社(又称顶厝仔、顶前镇)、中社聚落;而站名即取自凯旋四路,在规划
  • 欧洲野马欧洲野马(学名:),又名泰班野马,是一种欧亚大陆的野马。最后一头野生的欧洲野马是于1876年在乌克兰死亡,最后一头圈养的欧洲野马则是在1909年死于俄罗斯动物园。另一个名字的“泰班
  • 郫县豆瓣郫县豆瓣为中国四川省郫县(现成都市郫都区)特产的豆瓣酱,是川菜的主要调料之一。由郫县人陈守信始创于清朝康熙年间。产于郫县的唐昌、郫筒、犀浦等十九个乡镇。因其在川菜中的
  • 哈利·波特与死亡圣器制作过程《哈利·波特与死亡圣器》的制作背景讲述哈利·波特与死亡圣器一片最终分为两集的拍摄过程发生许多事件。将最后一集哈利·波特小说分成上下两个部分,早在2004年《哈利·波特
  • 路疹路疹(英语:Road rash)为一种俗语,系指在自行车与摩托车等交通事故,抑或在直排轮滑(英语:inline skating)、滑轮、滑板活动或长板等运动事故中,皮肤与路面直接摩擦所引起的皮肤伤害。