通用图灵机

✍ dations ◷ 2025-11-29 14:28:33 #艾伦图灵,图灵机

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

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

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

相关

  • 抗银屑病药干癣(英语:psoriasis,/soʊˈraɪ.əsᵻs/,学名为银屑病,又称“白疕”或“牛皮癣”)是一种慢性皮肤疾病,主要特色是在身上出现一块一块异常的皮肤。通常,这些块状皮肤异常会发红、发
  • 宗教裁判所宗教裁判所(拉丁语:Inquisitio Haereticae Pravitatis,或称异端裁判所、异端审判)是教宗额我略九世于1231年决意、由道明会设立的宗教法庭。此法庭是负责侦查、审判和裁决天主教
  • 常规战争常规战争是战争的一种形态,其战斗方式为公开地使用传统战争武器和战场战术去战胜敌人。战争中我敌划分十分清楚,武器也是直接攻击敌人个体。战斗中通常使用传统或常规武器,而非
  • 北京大学第三医院坐标:39°58′56″N 116°21′35″E / 39.982148°N 116.359619°E / 39.982148; 116.359619北京大学第三医院,简称“北医三院”,始建于1958年,是附属于北京大学的一所大型综合
  • 潍坊国际风筝会潍坊国际风筝会,又称“风筝节”,是山东省潍坊市每年4月举办的一项庆典活动,与北京地坛庙会、哈尔滨冰灯节、自贡灯会并成为中国四大群众文化活动。潍坊市为国际风筝联合会组织
  • ATC代码 (H)ATC代码H(激素制剂,不包括性激素及胰岛素)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics
  • 梅尼亚米亚县坐标:7°06′47″S 145°59′31″E / 7.113°S 145.992°E / -7.113; 145.992梅尼亚米亚县(英语:Menyamya District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由莫雷贝省负
  • 费城麦当劳叔叔之家费城麦当劳叔叔之家(英语:Philadelphia Ronald McDonald House)是麦当劳叔叔之家慈善基金辖下的首个儿童疗养院舍,位于美国费城第三十九街(39th Street)与板栗街(Chestnut Street)交
  • 旭日干旭日干(蒙古语:.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
  • 杀人告白《杀人告白》(韩语:내가 살인범이다,直译为“我是杀人犯”)是2012年上映的一部韩国电影,导演郑炳吉首次执导的商业长片,犯罪惊悚中以动作戏为元素,片中三场重要动作戏的拍摄就占时