通用图灵机

✍ dations ◷ 2025-12-03 16:02:54 #艾伦图灵,图灵机

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

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

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

相关

  • 斯特拉斯堡1法国统计部门在计算土地面积时,不计算面积大于1平方公里的湖泊、池塘、冰川和河口。斯特拉斯堡(法语:Strasbourg;德语:Straßburg)是法国大东部大区与下莱茵省的首府,位于法国国土
  • .mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
  • font style=color:#888small北元 1368–1388/small/font北元(蒙古语:.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 Tig"
  • 政治体制政体(英语:form of government),是国家的政治、统治形态,即国家政治体系运作的形式。一般用来指涉一个国家政府的组织结构和管理体制,在不同的历史时期,不同的国家和地域,政治体制都
  • 最后的审判最后的审判(希伯来语:יום הדין‎;阿拉伯语:يوم القيامة‎;英语:Last Judgment),或者称为大审判、末日审判,是一种宗教思想,在世界末日之时神会出现,将死者复生并对他
  • 二巯基丁二酸2,3-二巯基丁二酸(Dimercaptosuccinic acid、英文缩写为:DMSA),别名2,3-二巯基琥珀酸,一般简称二巯基丁二酸,是一种有机硫化合物,常温下为白色结晶状粉末。因分子内含有两个巯基,所
  • 利克天文台利克天文台(Lick Observatory)位于美国加利福尼亚州圣荷西市的东部,汉密尔顿山的山顶上,海拔4209英尺,由圣塔克鲁兹加利福尼亚大学管理。利克天文台是世界上首个建于山顶的永久性
  • 胡灵胡灵(1986年6月28日-),中国贵州遵义人,中国女歌手。2006年借由湖南卫视歌唱比赛节目《2006年超级女声》全国第12名出道,随后签约天娱传媒、海蝶音乐,2007年,推出个人首张国语大碟《
  • 威廉·亨利·劳威廉·亨利·劳(英语:William Henry Low,1795年-1834年3月22日) 是一位美国企业家、商人,来自马萨诸塞州的塞勒姆。他是美国旧中国贸易的先驱之一。1828年,劳在中国广州定居后,被接
  • R23公路 (俄罗斯)R23联邦公路,原编号M20,2018年起更改为R23,又称普斯科夫公路(Псков),是俄罗斯的一条干线公路,始于圣彼得堡,经普斯科夫,以拉脱维亚边界为终点,全长261公里。也是欧洲E95公路(英语:E