通用图灵机

✍ dations ◷ 2024-12-23 14:22:17 #艾伦图灵,图灵机

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

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

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

相关

降血脂药物降血脂药（英语：Hypolipidemic agents），又称调血脂药或antihyperlipidemic agents、lipid-lowering drugs，是一类用来治疗高脂血症的药物。常用的降血脂药有两大类，分别为他汀类药
蒸馏蒸馏（英语：Distillation、Distilled）是一种热力学的分离工艺，它利用混合液体或液-固体系中各组分沸点不同，使低沸点组分蒸发，再冷凝以分离整个组分的单元操作过程，是蒸发和冷凝两种
hyponatremia低血钠症（英语：Hyponatremia）是人体内血液中的钠含量过低时，所引起的临床病征。低血钠定义为血中钠离子浓度低于135 mmol/L（135 mEq/L），若低于120 mEql/L，则为重度低血钠症。在临床
锕系锕系元素是第89号元素锕到103号元素铹共15种放射性元素的统称。锕系元素也属于过渡元素，只是锕系元素的外层和次外层的电子构型基本相同，新增加的电子则大都填入了从外侧数第
建筑理论建筑理论主要研究多种代表性的建筑观念和建筑思想，各种思潮之间的发展脉络和关联，建筑理论发展史；解剖建筑理论所包含的观念与时代的价值取向和知识体系建构之间的关联性；研究
沈中阳沈中阳（1962年11月－），汉族，辽宁沈阳人，中华人民共和国政治人物，全国政协委员。担任农工党中央常委、天津市委副主委、天津市第一中心医院院长。2008年，当选第十一届全国政协委员，代表
尼尔斯·吕贝里·芬森尼尔斯·吕贝里·芬森（丹麦语：Niels Ryberg Finsen，1860年12月15日－1904年9月24日）是一位来自法罗群岛的医师与科学家。他曾在1903年获得诺贝尔生理学或医学奖，是丹麦的第一座诺贝
基督教中的耶稣基督徒相信耶稣是弥赛亚（基督），并相信通过他的死和复活，人类可以与上帝和好，从而得到救恩和永生的承诺。这些教义强调，作为上帝悦纳的羔羊，耶稣选择在髑髅地的十字架上受难，以此作为
海山车站 (桃园市)海山车站是一曾经存在于台湾桃园县芦竹乡（今桃园市芦竹区）的铁路车站，为台湾铁路管理局（台铁）已废线的林口线沿线车站之一。本站是配合2005年底开始运作的“桃林铁路”（由桃园县政
王之臣 (潼关)王之臣，陕西潼关卫人，明末政治、军事人物。万历二十三年（1595年），王之臣中式乙未科三甲第一百一十一名进士。天启五年（1625年），代替吴用先担任蓟辽总督。宁远之战后，王之臣替代不援宁