通用图灵机

✍ dations ◷ 2025-04-26 11:59:27 #艾伦图灵,图灵机

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

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

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

相关

  • 每日允许摄入量一日可接受摄取量 或 ADI 是指食物或饮用水中特定物质每天不影响健康下口服可摄入量。最初适用于食品添加剂,后来也适用于兽药或农药残留物。ADI通常以每公斤体重每天可摄取
  • 乔治一世乔治一世(George I,1660年5月28日-1727年6月11日),原名格奥尔格一世·路德维希,汉诺威选帝侯、英国国王。乔治出生于汉诺威,父亲恩斯特·奥古斯都(德语:Ernst August (Hannover))是汉
  • 维生素D缺乏维生素D缺乏症是缺乏维生素D所表现出来的一系列病症。这种疾病可能是由于人体摄入的维生素D不足,并且没有接受足够多的阳光照射(准确地说是阳光中的中波紫外线B光)导致的,也有可
  • 杰布·布什约翰·艾理斯·“杰布”·布什(John Ellis "Jeb" Bush,1953年2月11日-),美国共和党政治人物,第43任佛罗里达州州长,也是第一位得以连任该州州长职位的共和党籍州长。杰布·布什是美
  • 角鼻龙角鼻斑龙 Megalosaurus nasicornis Marsh,1884(原为角鼻龙)角鼻龙属(学名:Ceratosaurus)又名刺龙或角冠龙,是晚侏罗纪的中大型掠食性恐龙,它的特征是大型的嘴部、像短刃的牙齿、鼻端
  • 来苏尔来苏尔,又名来苏水、来苏儿,是Reckitt Benckiser分发的家用清洁剂与消毒剂的品牌名称。用于清洗销售,消毒食品表面和去除异味。 该名称用于喷雾剂,预饱和的组织以及液体解决方案
  • 彼得·福克彼得·麦可·福克(Peter Michael Falk,又译:彼得·法尔克/彼德福,1927年9月16日-2011年6月23日)是美国演员。代表作《神探可伦坡》()令他登上事业颠峰,成为全美家喻户晓的名侦探。他
  • 林安妮林安妮(1985年06月28日-),台湾的跆拳道运动员。
  • 东亚叉牙七鳃鳗东亚叉牙七鳃鳗(学名:),又名七鳃鳗、日本七鳃鳗、八目鳗、七星子,是圆口纲七鳃鳗目的一种古老鱼类。 东亚叉牙七鳃鳗的生长,可分幼体期、变态期、成体期三阶段。从出土化石发现,其
  • 黄金分析师黄金分析师,又称为黄金投资分析师,是指对(现货)黄金投资市场的分析师,是金融分析师的其中一种。中国的黄金分析师在2006年开始出现,但直到2009年才开始正式被承认。目前中国开始有