通用图灵机

✍ dations ◷ 2025-12-08 21:57:20 #艾伦图灵,图灵机

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

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

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

相关

  • BDNF1B8M, 1BND· anti-apoptosis · nervous system development · negative regulation of neuroblast proliferation · axon guidance · axon target recognition ·
  • 梅琳达·盖茨梅琳达·盖茨女爵士(英语:Melinda Gates,1964年8月15日-),DBE,婚前原名梅琳达·安·法兰奇(英语:Melinda Ann French)。美琳达·盖茨出生于美国德克萨斯州达拉斯,并在达拉斯长大,其丈夫
  • 托马斯·法雷尔托马斯·法雷尔(英语:Thomas Farrell,1891年12月3日-1967年4月11日)是美国陆军少将,在一战、二战中均有服役。他在曼哈顿计划中经莱斯利·格罗夫斯亲手提拔担任副指挥将军,并出任现
  • 2007年苏门答腊地震印尼苏门答腊岛在2007年发生了2次矩震级达6级以上的地震:
  • 利沃夫大学利沃夫大学 (乌克兰语:Львівський університет) ,或官方名称Ivan Franko国立利沃夫大学 (乌克兰语:Львівський національний уні
  • 欧阳晓平欧阳晓平(1961年1月24日-),湖南宁远人,实验核物理专家,中国脉冲辐射场诊断的学科带头人之一,中国工程院院士,现任西北核技术研究所研究员。
  • 金烔完金烔完(韩语:김동완,1979年11月21日-),名字常被误写为金东万。韩国男歌手、男演员。韩国组合神话的六名成员之一,是第五位加入的成员。家中独子,但有同父异母的弟弟。
  • 短趾旋木雀短趾旋木雀首次由 路德维希Brehm在1820年描述。与普通的旋木雀相比,有较短的脚趾。短趾旋木雀有五个亚种。
  • 武侯区武侯区是中华人民共和国四川省成都市的市辖区,同时也是成都市中心五城区之一,设立于1990年。武侯区因其辖区内的武侯祠(诸葛亮)而得名,是以人名命名的中华人民共和国县级以上行政
  • 十齿花科十齿花科(学名:Dipentodontaceae),又名十萼花科,只有2属十余种,,只生长在中国西南的广西、云南、贵州和相邻的缅甸北部及印度东北。本科植物是乔木,高达11米;单叶互生,有托叶;花小,白色,