通用图灵机

✍ dations ◷ 2025-12-10 08:12:47 #艾伦图灵,图灵机

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

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

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

相关

醋醋（英语：Vinegar），旧称为醯、苦酒等，是烹饪中常用的一种液体酸味调味料。醋的成分通常含有3%-5%的醋酸，有的还有少量的酒石酸、柠檬酸等。理论上讲，几乎任何含有糖分的液体都可以发
詹姆斯·卡麦隆詹姆斯·弗朗西斯·卡梅隆（英语：James Francis Cameron, CC，1954年8月16日－）是一位加拿大电影导演，擅长以极高的预算拍摄动作片以及科幻电影，主题往往试图探讨人和科技之间的关系。
导电性电传导（英语：electrical conduction）是指介质内，载电荷的粒子的运动。称这些粒子为电荷载子。它们的运动形成了电流。这运动可能是因为感受到电场的作用而产生的，或是因为载子分
新美鞭菌新美鞭菌属是新美鞭菌门新美鞭菌科真菌的一属。其学名来自古希腊语词根neo-（新）、calli-（美丽）和mastix（鞭）。“新美鞭菌属”系台湾生物多样性资讯入口网所采用的中文名。
索贝克霍特普四世索贝克霍特普四世（英语：Sobekhotep IV），埃及第十三王朝最重要的国王。在位约8年。他率军进攻努比亚，与近东开展往来，并在很多神庙中立起他自己的雕像。
CrytekCrytek是一个电子游戏开发商，由Yerli兄弟于1999年建立。Crytek总部位于德国法兰克福，目前有一家位于乌克兰基辅的分部。著名作品为游戏《孤岛惊魂》及《孤岛危机系列》和其游
社会活动社会行动或行动、行为（英语：social action,action or act德语：Handeln）在社会学上区别于简单的生物性的对于刺激的反应行为(英语：behaviour德语：Verhalten)1，特指具有针对他人的主
Pentagon音乐作品列表PENTAGON音乐作品列表，主要纪载韩国男子音乐组合PENTAGON，自2016年出道至今，所发行的音乐作品。该团体隶属于Cube娱乐，以同名迷你专辑《Pentagon》在2016年10月10日正式出道。迄
丁一鸣丁一鸣（16世纪－17世纪），字惺蓼，南直隶安庆府潜山县人，明朝政治人物。丁一鸣是万历三十七年（1609年）的举人，四十四年（1616年）成进士，获授中书舍人；崇祯年间因召对称旨升为给事中，在任内去世
金泉街道金泉街道，是中华人民共和国四川省成都市金牛区下辖的一个乡镇级行政单位。金泉街道下辖以下地区：土桥社区、迎宾路社区、高家社区、淳风桥社区、清水河社区、郎家社区、互助社