通用图灵机

✍ dations ◷ 2025-11-28 11:59:30 #艾伦图灵,图灵机

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

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

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

相关

  • 厌氧法厌氧法是利用以厌氧细菌为主要工作菌种,在厌氧环境下对有机废水中各种有机成分进行了降解作用的废水生物处理法。主要工艺以UASB、BF等为主。适合处理高浓度有机物污水和一些
  • 丹麦裔丹麦人(丹麦语:danskere,英语:Danes)可以指:目前丹麦本国约有500万的丹麦人,美国约有150万丹麦人,加拿大则有约20万。另外在德国的南石勒苏益格,还有50000左右的丹麦人,占当地人口
  • 临安市临安区是中国浙江省杭州市下辖的一个市辖区,位于浙江省西北部。秦汉属会稽郡余杭县。东汉建安十六年(211年)分余杭置临水县,西晋太康元年(280年)改临安县,唐代武德七年(624年)于於潜
  • 宜宾市宜宾市(四川话拼音:ȵi2bin1;国际音标:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
  • 约翰·C·布雷肯里奇约翰·卡贝尔·布雷肯里奇(John Cabell Breckinridge,1821年1月16日-1875年5月17日),美国政治家,美国民主党成员,曾任美国众议院议员(1851年-1855年)、美国副总统(1857年-1861年)、美国
  • 无文土器时代无文土器时代(韩语:무문토기 시대)或无文陶器时代是朝鲜以及中国东北边疆史前时代的一个考古时期,相当于朝鲜新石器时代晚期至朝鲜青铜器时代早期,约前15世纪至前3世纪。是中国东
  • 总统套房总统套房是指星级酒店用来接待总统级贵宾的豪华客房,是套房的最高级数。它会有这个名称是因为美国威尔逊总统每次出访时对下榻旅馆客房的特别规定,必须坐北朝南(北半球,南半球反
  • 2011年11月逝世人物列表2011年11月逝世人物列表,是用于汇总2011年11月期间逝世人物的列表。
  • 打擂台 (1983年电影)《打擂台》(英语:Flash Future Kung Fu)是黄志强继《舞厅》后的另一出新浪潮电影,于1983年10月21日上映。在未来的世界,人类社会被电脑支配;他们为了寻找生活上的寄托,开始以格斗术
  • 张乐行张乐行(1811年-1863年4月5日),又名张洛行,小名香儿;安徽亳州张老家(今属涡阳)人;清末捻军首领,太平天国封为沃王。张乐行出身士绅地主家庭,有良田五百余亩,曾为盐枭贩运私盐,喜仗义疏财,时