通用图灵机

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

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

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

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

相关

  • 氟喹诺酮喹诺酮(英语:quinolone)是一类人工合成的含4-喹诺酮基本结构,对细菌DNA螺旋酶具有选择性抑制的抗菌剂。1962年最早的喹诺酮类药物萘啶酸首先用于临床,由于其抗菌谱窄、口服吸收差
  • dsDNA脱氧核糖核酸病毒(英语:DNA virus),又称DNA病毒,其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
  • 中频电疗中频电疗(Middle frequency electrotherapy)是属于物理治疗中电刺激治疗方法的一种。由于这种治疗的方法使用的是频率介于1kHz至10kHz的干扰电流刺激,故命名为中频电疗。由于治
  • Hsub2/subSsub2/subOsub6/sub连二硫酸(H2S2O6)是一种只能在溶液中存在的化合物。连二硫酸是一种较稳定的强酸。室温下,稀的连二硫酸溶液较稳定。溶液被浓缩或者受热时,缓慢歧化分解为硫酸和二氧化硫:连二硫酸
  • 王恩多王恩多(1944年11月-),中国生物化学与分子生物学家。中国科学院上海生命科学研究院生物化学与细胞生物学研究所研究员。1944年生于重庆。1969年和1981年中国科学院上海生物化学研
  • 补集在集合论和数学的其他分支中,存在补集的两种定义:相对补集和绝对补集。若 A {\displaystyle A} 和 B
  • 忏悔星期二圣灰星期三之前一天 Summer Festival:忏悔星期二(源自法语:Mardi Gras,直译油腻的星期二,又称忏悔节)是圣灰星期三的前一天。在许多地方人们通过狂欢节、化妆舞会和化妆游行的方
  • 萨哈尔·霍达亚里萨哈尔·霍达亚里(波斯语:سحر خدایاری‎;波斯语发音:,英语:Sahar Khodayari,约1990年-2019年9月9日)又称“蓝色女孩”(Blue Girl),伊朗女性,知名于在2019年9月2日于德黑兰伊斯
  • 场论场论可以指:
  • 维多利亚·伍德哈尔维多利亚·克拉夫林·伍德哈尔,后来更名为 维多利亚·伍德霍尔·马丁(1838年9月23日-1927年6月9日),是一位美国妇女选举权运动领袖。她曾参与1872年的美国总统竞选。虽然许多历史