通用图灵机

✍ dations ◷ 2025-12-04 11:37:32 #艾伦图灵,图灵机

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

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

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

相关

烟灰缸烟灰缸，是一个盛载烟灰、烟头的器皿，形状似一个开口碗、有盖的盒、邮箱，或者垃圾桶等。烟灰缸用料为耐燃物料，包括石、瓦、金属等。礼品公司不少利用烟灰缸表面作广告宣传。在禁
尼尔斯·艾崔奇尼尔斯·艾崔奇（Niles Eldredge，1943年8月25日－）是一位美国古生物学家。曾经在1972年与史蒂芬·古尔德一同发表疾变平衡（punctuated equilibrium）理论。
美式足球美式足球（英语：American football，在美国本土则只称为“football”）另称美式橄榄球或美式榄球，是在美国流行的一种由英式橄榄球衍生而来的竞技体育运动。美式足球与加拿大式足球
卡尔斯鲁厄理工学院卡尔斯鲁厄理工学院（德语：Karlsruher Institut für Technologie，缩写为KIT）是位于德国巴登符腾堡州的大学，也是德国国家级的大型研究中心，拥有约9,000多名雇员以及约25,000名学生
联合国粮食计划署世界粮食计划署（英语：World Food Programme，缩写WFP），原名粮食援助政策与计划委员会，是属于联合国的食品援助组织，成立于1961年，总部设于意大利罗马，为全世界最大的人道救援组织，为世
东坡肉东坡肉（又名滚肉、东坡焖肉），江、浙菜名，用五花肉炖制而成。一般是一块约二寸许的方正形五花肉，一半为肥肉，一半为瘦肉，入口肥而不腻，带有酒香，十分美味。相传此菜由宋代大文豪苏轼所
木雕龟属木雕龟属（学名：），泽龟科下的一个属，包含两个物种，是牟氏水龟和木雕水龟，两者都是北美洲的特有种。到2001年为止，这两种龟都是列入水龟属（）中，目前水龟属下仅有一个物种：斑点水龟。发育成
生物性别和社会性别的区别生物性别和社会性别的区别（英语：Sex and gender distinction）是将一个人的生物性别（个人生殖系统的解剖结构和第二性征）与该人的社会性别区分开来。它可以指基于人的性别的性别角
其米德·赛汗比勒格其米德·赛汗比勒格（蒙古语：Чимэдийн Сайханбилэг，1969年－），蒙古族，蒙古国东方省人，蒙古国政治家。赛汗比勒格1969年生于东方省。在乌兰巴托上完中学后，他来到莫
奥古斯特·兰德梅赛奥古斯特·兰德梅赛（August Landmesser，1910年5月24日－1944年10月17日）是德国汉堡布洛姆－福斯船厂的一名工人。1936年6月13日，海军训练船霍斯特·威塞尔号（英语：Horst Wessel (ship)