通用图灵机

✍ dations ◷ 2025-12-09 11:13:20 #艾伦图灵,图灵机

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

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

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

相关

  • 俄勒冈俄勒冈州(英语:State of Oregon)是美国的一个州,位于美国西北的太平洋沿岸,西临太平洋、北接华盛顿州、东面是爱德荷州、南面是加利福尼亚州和内华达州。2012年人口3,899,353。州
  • 肾上腺素受体激动药肾上腺素刺激剂(英语:Adrenergic agonist)指的是激发肾上腺素受体功能的药物。 肾上腺素受体的主要分类有五种:α1、α2、β1、β2、和 β3。肾上腺素的作用体(英语:agent)指的是拥
  • 反对称关系数学上,若对所有的 a 和 b 属于 X,下述语句保持有效,则集合 X 上的二元关系 R 是反对称的:“若 a 关系到 b 且 b 关系到 a,则 a = b。”数学上表示为:严格不等是反对称的;实际上
  • 华盛顿华盛顿(Washington)通常是指:华盛顿还可以指:
  • 范宽范宽(约950年-约1032年),字中立,一说名中正,字仲立,生于五代末,北宋著名画家,京兆华原(今陕西耀县)人。因为性情宽厚豁达,不拘成礼,嗜酒好求道,时人呼之为“宽”,遂以范宽自名。范宽擅长山
  • 成宗元贞:1295年-1297年二月元成宗铁穆耳(蒙古语: ᠲᠡᠮᠦᠷ,鲍培转写:Temür,西里尔字母:Төмөр;1265年10月15日-1307年2月10日),是元朝第二位皇帝,蒙古帝国第六位大汗,1294年5月10日—
  • 茚溪行森行森(1614年-1677年),世称茆溪行森,广东博罗人,明末清初临济宗高僧。行森七岁弃家拜宗宝独公为师出家,参学云门圆信,后拜谒玉林通琇。清顺治十七年(1660年),入召内廷,因辞封号,顺治帝称呼
  • 昌铜高速公路南昌-铜鼓高速公路(原编号S40,简称昌铜高速)是江西省地方横线高速公路,是杭长高速公路的组成部分,东起南昌市新建区望城镇青西村,西至铜鼓县赣湘界,该公路分为东西段建设,以奉新(靖安)
  • 川村竹治川村竹治(かわむら たけじ,1871年7月17日-1955年9月8日),号亚洲,日本江刺县鹿角郡花轮村(今秋田县鹿角市)人,南满洲铁道株式会社社长、台湾总督、司法大臣。日本帝国秋田县人。1897年
  • 2013年柬埔寨大选洪森 柬埔寨人民党洪森 柬埔寨人民党柬埔寨政府与政治 系列条目2013年柬埔寨大选于2013年7月28日举行。国家选举委员会宣布,柬埔寨共有967万人具有在大选中投票改选国民议会1