通用图灵机

✍ dations ◷ 2025-12-03 22:59:37 #艾伦图灵,图灵机

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

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

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

相关

航空航天工程航空航天工程学（aerospace engineering）是航空工程学与航天工程学的总称，涉及航空飞行器与航天飞行器有关的工程领域。它包含固体力学、流体力学（特别是空气动力学）、航天动力学
京畿道京畿道（韩语：경기도／京畿道 Gyeonggido）是位于朝鲜半岛中部的一个道，北隔着三八线与朝鲜民主主义人民共和国相邻，东为江原道，南与忠清北道和忠清南道接壤，西与中华人民共和国隔海而
聚乙烯聚乙烯（polyethylene，缩写：PE）是日常生活中最常用的高分子材料之一，是塑料的一种，大量用于制造塑料袋，塑料薄膜，牛奶桶的产品，也是白色污染的主要原因。单体为乙烯（化学式C2H4），乙烯亦可
攻击的欲望《暴力效应》（英语：A History of Violence）是一部于2005年的美国犯罪惊悚电影，大卫·柯能堡执导，乔什·奥尔森（英语：Josh Olson）编剧，剧情改编自约翰·华格纳（英语：John Wagner）和Vince
BBC体育BBC体育（BBC Sport）是英国广播公司的体育节目制作部门。自2006年9月开始，BBC体育开始播出高清电视节目。除了体育节目的直播之外，BBC体育也制作各种体育新闻类的节目。BBC拥有温
新选组《新选组》（しんせんぐみ），是1969年12月5日公开（1970年1月1日起全日本公映）的时代剧，与三船制片公司共同制作，纪念三船敏郎演出第100部作品。文久三年，因为“尊王攘夷”的政策呼声高
同担子菌纲同担子菌亚纲（Homobasidiomycetes），又称无隔担子菌亚纲，在2001年已经被合并到伞菌纲，在此之前是真菌下属担子菌门的一类，并且也是担子菌门中种类最多的一个亚纲。同担子菌亚纲饱含
帕克城帕克城（英文：Park City），是美国犹他州萨米特县下属的一座城市。建市于 1869年，面积大约为17.57平方英里（45.5平方公里），海拔约为7,000英尺（2,100米）。根据2010年美国人口普查，该市有人
鹿科鹿科，是偶蹄目反刍亚目下的一科，目前全世界有18属41种。其中包括白尾鹿、骡鹿、加拿大马鹿、驼鹿、红鹿、驯鹿、黇鹿、西方狍等。所有的公鹿（除了獐外）及母驯鹿头上长有角并每年
卡米尔·德穆兰露西·森普利斯·卡米尔·伯努瓦·德穆兰（Lucie Simplice Camille Benoist Desmoulins，1760年3月2日－1794年4月5日），法兰西记者、政治家，在法国大革命期间扮演重要角色。他与马