通用图灵机

✍ dations ◷ 2025-12-08 09:36:02 #艾伦图灵,图灵机

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

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

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

相关

  • 左塞尔左塞尔(Zoser)是埃及第三王朝最为著名的法老。他曾令其手下的官员,伊姆荷太普修建了埃及历史上的第一座金字塔——位于萨卡拉地区的左塞尔金字塔——作为他的陵墓。他的名字的
  • 埃希氏菌属埃希氏菌属(Escherichia),肠杆菌科的1属。本属成员是两端钝圆的革兰氏染色阴性短杆菌,为人和动物肠道中较多见的正常菌群之一,能合成维生素B、K等。一般不致病,偶而引起肠外感染(
  • 南岛民族南岛民族指大洋洲和东南亚以南岛语系为语言的族群。其中包括东帝汶、印度尼西亚、马来西亚、菲律宾、文莱、马达加斯加、密克罗尼西亚联邦、夏威夷和波利尼西亚以及台湾原住
  • 丹尼尔·布恩丹尼尔·布恩国家森林(英语:Daniel Boone National Forest)是唯一一座完全位于肯塔基州境内的国家森林。该森林设立于1937年,起初名为坎伯兰国家森林(Cumberland National Forest
  • 石勒喀河石勒喀河(俄语:Шилка,罗马化:Shilka),位于俄罗斯外贝加尔边疆区,全长560公里,流域面积20万平方公里。由鄂嫩河 (Онон)与音果达河(Ингода)汇合而成,鄂嫩河-石勒喀河为
  • 土地 (经济学)在经济学中,土地(英语:land)概括了所有自然资源,包括地理位置、土壤、矿产、森林、渔业资源、水资源、空气质量、地球静止轨道、电磁波谱、太阳等。土地是一种生产要素,是所有商品
  • NF (饶舌歌手)内森·约翰·福伊尔斯坦(英语:Nathan John Feuerstein,发音:/ˈfɔɪ.ərstaɪn/,1991年3月30日-),美国密歇根州格拉德温人,知名于其艺名NF(风格化为ИF),说唱歌手、词曲作家。自从2015
  • 兰贾兰贾(Lanja),是印度马哈拉施特拉邦勒德纳吉里县的一个城镇。总人口12278(2001年)。该地2001年总人口12278人,其中男性6281人,女性5997人;0—6岁人口1709人,其中男852人,女857人;识字率7
  • Sing Forever《Sing Forever》,日本男歌手平井坚的第32张单曲。2010年10月13日发行。※ 初回生产盘限定(仅于日本发行)
  • 沙河源街道沙河源街道,是中华人民共和国四川省成都市金牛区下辖的一个乡镇级行政单位。沙河源街道下辖以下地区:政通路社区、川建社区、古柏社区、新桥社区、陆家桥社区、友联社区、踏水