通用图灵机

✍ dations ◷ 2025-06-29 06:14:08 #艾伦图灵,图灵机

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

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

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

相关

  • 原始印欧人庞提克大草原高加索地区东亚东欧南欧庞提克大草原北方/东方大草原欧洲地区南亚地区西伯利亚大草原欧洲高加索地区印度印度-雅利安民族伊朗民族欧洲民族东亚印欧民族欧洲民族
  • 西德尼·查普曼西德尼·查普曼(英语:Sydney Chapman,1881年1月29日-1970年6月16日)也译作悉尼·查普曼,英国数学家暨地球物理学家,他对分子运动论、日地物理学和地球臭氧层的研究激发了人们数十年
  • 单一民族国家单一民族国家,是指国家民族纯度较高,语言、文化、价值观较划一,通常这类国家政治上以民族主义作为核心,并对移民政策上并不友好,与之相反是多民族国家。地理环境较为封闭、外来族
  • 中法大学坐标:39°55′40″N 116°24′24″E / 39.92787°N 116.4068016°E / 39.92787; 116.4068016中法大学(法语:l'Université Franco-Chinoise)是20世纪上半叶中国的一所大学。李石
  • 镧的同位素镧(原子量:138.90547(7))的同位素,其中有1个同位素是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 艾草艾草(学名:),又称作艾叶、艾、艾蓬、甜艾、香艾、冰台、艾蒿、灸草,是一种多年生草本植物,分布于亚洲及欧洲地区。多年生草本,揉之有香气;叶子羽状分裂,背面有白丝绒毛;秋季开花,头状花
  • 哲学、政治学及经济学哲学、政治学及经济学(英语:Philosophy, Politics and Economics,缩写:PPE)是一个受欢迎的跨学科本科和研究学位,课程内容由三个学科组成。首家提供PPE学位的高等院校是牛津大学,而
  • 康斯坦丁·斯捷潘诺维奇·格鲁谢沃伊康斯坦丁·斯捷潘诺维奇·格鲁谢沃伊(俄语:Константи́н Степа́нович Грушево́й,1906年10月25日(11月7日)-1982年2月10日),乌克兰人,苏联军事指挥官,亦
  • 奥乔尔坐标:57°53′N 54°43′E / 57.883°N 54.717°E / 57.883; 54.717奥乔尔(俄语:Очёр)是俄罗斯彼尔姆边疆区西部的一个城市、奥乔尔斯基县县治,西距彼尔姆120公里。2002年人
  • 不充分决定论在科学理论中,不充分决定论是指现有的证据未能充分地、圆满地指出某个结论应当获得接纳。以逻辑论解释,即是指存在两个或多于两个命题,使该命题为成立现有证据A的充分条件,但没