通用图灵机

✍ dations ◷ 2025-11-25 19:24:27 #艾伦图灵,图灵机

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

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

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

相关

  • 太平洋棱背鲱太平洋棱背鲱为辐鳍鱼纲鲱形目鲱科的其中一种,分布于东南太平洋区,从秘鲁至智利海域,栖息深度可达50米,体长可达26公分,栖息在沿海海域,成群活动,以浮游生物为食,可做为食用鱼。维基
  • 旁遮普人旁遮普人(旁遮普语:ਪੰਜਾਬੀ ਲੋਕ ,西旁遮普语:پنجابی لوک),南亚民族之一,主要分布于巴基斯坦的旁遮普省,印度的旁遮普邦、哈里亚纳邦、拉贾斯坦邦、北方邦与克什米
  • 台湾粗榧台湾粗榧(学名:),又名威氏粗榧、台湾三尖杉,是三尖杉科三尖杉属的植物。分布在台湾等地,生长于海拔1,400米至2,700米的地区。
  • 阿方索十二世阿方索十二世(西班牙语:Alfonso XII,全名:阿方索·弗朗西斯科·费尔南多·皮奥·胡安·德·玛利亚·德·拉·康塞普西翁·格雷戈里奥·佩拉约·德·波旁-波旁,Alfonso Francisco
  • 吴桂丹吴桂丹翰林院编修吴桂丹(1855年-1902年),字万程,号秋舫,广东高要县广利镇水坑乡(今鼎湖区桂城街道水坑村)人。晚清官员。光绪五年(1879年)举人,光绪十五年(1889年)中己丑科进士,同年五月,改
  • 达尔文澳白蚁达尔文澳白蚁()是现生最原始的白蚁,生活在澳洲北部,英文俗名有“giant northern termite”及“Darwin termite”。本物种和特定的蟑螂(与白蚁最近缘的生物)有一些相似点,包含翅膀的
  • 星河战队《星河战队》(,也译作《星船伞兵》)是一部1959年出版、由罗伯特·海因莱因执笔的科幻小说。故事内容以第一人称描述一名叫胡安·里科(Juan Rico)的年轻士兵,在地球联邦(Terran Fede
  • 本韦努托·切利尼本韦努托·切利尼(Benvenuto Cellini,1500年11月3日-1571年2月13日)是一位意大利文艺复兴时期的金匠、画家、雕塑家、战士和音乐家,还写过一本著名的自传。本韦努托·切利尼出生
  • 高季兴同光:924年三月-926年四月 天成:926年四月-928年六月 楚武信王高季兴(858年-929年),原名高季昌,因避后唐庄宗李存勗祖父李国昌的名讳,改为季兴,字贻孙,陕州峡石(今河南三门峡东南)人,五代
  • 阳离子聚合反应阳离子聚合反应为一种链增长聚合反应,反应中阳离子引发剂(cationic initiator)会将电荷转移单体,使单体变得有反应性。而这个具反应性单体会与其他单体进行相似的反应,最后形成