通用图灵机

✍ dations ◷ 2025-11-26 01:24:47 #艾伦图灵,图灵机

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

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

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

相关

合成按照IUPAC金皮书的定义，不对称合成（enantioselective synthesis、asymmetric synthesis），也称手性合成、立体选择性合成、对映选择性合成，是研究向反应物引入一个或多个具手性元
意式奶冻意式奶冻（意大利语：Panna cotta）是一种意大利甜品，用奶油、奶、糖、和鱼胶混合在一起后，冷冻后就完成。通常会跟浆果、焦糖或巧克力酱一起食用。
鹵卤部，为汉字索引中的部首之一，康熙字典214个部首中的第一百九十七个（十一划的则为第三个）。就正体中文中，卤部归于十一划部首，而简体中文则归在七划。卤部只以左方为部字。且无其
阿尔法粒子α粒子是一种放射性粒子，由两个质子及两个中子组成，并不带任何电子，亦即等同于氦-4的原子核，或电离化后的氦-4，He2+。通常具有放射性而原子量较大的化学元素，会透过α衰变放射出α
环境可持续指数环境可持续指数（Environmental Sustainability Index，ESI）是一项整合性指标系统，追踪21项环境永续的元素，包括自然资源、过去与现在的污染程度、环境管理努力、对国际公共事务的
中华传统节日饮食 - 服饰 - 建筑 - 文物 - 节日 - 教育科学 - 五术（医学 - 术数） - 武术汉族传统节日或称为中华传统节日、汉人传统节日。这些节日是汉人随着季节、时间和物候转移，开展具
吉尔吉斯共和国国家银行坐标：42°52′33″N 74°34′52″E / 42.875795°N 74.581235°E / 42.875795; 74.581235吉尔吉斯共和国国家银行（英语：National Bank of the Kyrgyz Republic，简称NBKR）是吉尔吉
新地探险新地探险（英语：the Terra Nova Expedition），正式名称英国南极地区考察（英语：the British Antarctic Expedition），是在1910年与1913年之间一场前往南极洲的考察活动。该考察由罗伯特
SDSLSDSL是DSL技术与以太网技术相结合的产物，它采用简单的媒体转换器取代了昂贵复杂的DSL和DSLAM，避免了把IP数据包转换为ATM数据元的麻烦。SDSL实现了可在一对普通铜线上，以上下对
排队栏杆排队栏杆，又称红龙柱、围栏柱、伸缩栏杆，是一种方便移动的临时性栏杆。主要用来引导人群，常见于飞机场的报到处和安检入口，以及百货公司的电梯口和结账柜台。分为垂直的部件和水