通用图灵机

✍ dations ◷ 2025-11-30 18:43:09 #艾伦图灵,图灵机

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

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

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

相关

  • 发酵 (葡萄酒)发酵是葡萄酒酿制的一个重要过程,通过这一过程可以让葡萄汁转变为酒精饮料。这一过程中葡萄酒里的酵母和糖相互作用产生乙醇和二氧化碳。未发酵时葡萄汁中的氧气含量和温度等
  • 戈达瓦里河哥达瓦里河(马拉提语:गोदावरी,泰卢固语:గోదావరి,英语:Godavari River)一作戈达瓦里河,为是印度南部的一条河流,发源马哈拉施特拉邦西北部的纳西克附近,源头西距阿拉伯海
  • 1932年苏联大饥荒1932–33年的苏联大饥荒(俄语:Голод в СССР 1932—1933 годах)发生在苏联的几大产粮区,其中包括了乌克兰、北高加索、伏尔加河流域、哈萨克斯坦、南乌拉尔山脉和
  • 月亮和六便士《月亮和六便士》 是威廉·萨默塞特·毛姆的一本小说,以第一人称通过对中心人物查尔斯·思特里克兰德心灵的描述,展现一个中年英国股票经纪人如何突然扔下妻子和孩子去追寻成
  • RSA保险集团RSA保险集团(RSA Insurance Group plc;商业名称:RSA;原称Royal and Sun Alliance)是一家总部位于英国伦敦的跨国保险公司,主要在英国、爱尔兰、斯堪的纳维亚和加拿大提供服务,但在
  • SR-712具普惠J58-1型变循环冲压/涡轮喷气发动机 后燃器可持续运作3.28马赫(2,170 mph,3,492km/h) 于高度80,000呎(24,285米) 1马赫于此=295m/s=1062km/h 1mph与高度无关=1.61km/hSR-
  • 安庆站安庆站是安庆铁路和宁安客运专线的终点站,位于中华人民共和国安徽省安庆市宜秀区,隶属于上海局集团合肥车务段。本站站内及宁安客专上行线至安庆北站区间已电气化。目前客运:办
  • 太古宗太古宗,全名是韩国佛敎太古宗(韩语:한국불교태고종),仅次于曹溪宗,是韩国第二大佛教宗派。开祖是太古普愚。总本山是首尔奉元寺。始于高丽王朝时代,战后成为独立宗派。受日本统治时
  • 康斯坦丁·布朗库西康斯坦丁·布朗库西(罗马尼亚语:Constantin Brâncuşi 罗马尼亚语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucid
  • 偶谷排偶谷排是组合数学中的问题之一。考虑一个有n个元素的排列,从左往右第一个低谷(就是比左右两边的数都小)出现在偶数位置。 n个元素的偶谷排记为Kn。注意:第一个元素和最后一个元