通用图灵机

✍ dations ◷ 2025-12-01 00:48:10 #艾伦图灵,图灵机

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

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

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

相关

配体配体（ligand，也称为配基、配位基、牙基）是一个化学名词，表示可和中心原子（金属或类金属）产生键结的原子、分子和离子。一般而言，配体在参与键结时至少会提供一个电子。配体扮演路易
伊奥利亚伊奥利亚（古希腊语：Αἰολίς，转写：Aiolís，或Αἰολία）是古希腊时期的一个地区，主要在小亚细亚滨临地中海的西至西北地区和几个近海的岛屿（尤其是莱斯沃斯岛），是众多伊奥利亚
传播艾滋病罪传播艾滋病罪在许多国家都会被认为是一种犯罪，不论是故意或者由于疏忽大意传播艾滋病。有这种行为的人会被以传播艾滋病、谋杀、一般杀人、谋杀未遂、袭击等罪名控告。有的国
蒙索罗1法国统计部门在计算土地面积时，不计算面积大于1平方公里的湖泊、池塘、冰川和河口。蒙索罗（法语：Montsoreau ; 法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","D
1164年重要事件及趋势重要人物
碳信用排污交易是一种以“奖励”形式的经济诱因，鼓励私人企业致力减排的，控制污染经济工具和政府行政门径；以达致减少排放污染物目标。仍发展中的减低排放温室气体的碳排放计划（英
埃奇威尔埃奇韦尔（Edgware）是位于英国伦敦北部的一个地区，在行政区划上属于巴内特伦敦自治市。沃尔瑟姆斯托位于查令十字西北 10英里（16.1千米）处。在历史上埃奇韦尔曾是米德塞克斯郡的一
华强集团深圳华强集团有限公司是一家以高科技产业为主导的大型投资控股公司，创建于1979年，以文化科技产业、云产业、电子信息高端服务业、商业地产、金融服务业等为主要业务。目前，华强
古斯塔夫·赫兹古斯塔夫·路德维希·赫兹（德语：Gustav Ludwig Hertz，1887年7月22日－1975年10月30日），德国物理学家，量子力学的先驱，他是1925年诺贝尔物理学奖获得者，电磁波发现者海因里希·鲁道夫·
惠州话惠州话，又称惠城话、博罗话、东江话，在惠州市称为“本地话”、在博罗县称为“博罗话”。主要分布在惠州市惠城区和博罗县。此外惠阳区的平潭、良井、永湖、镇隆、秋长以及惠东