通用图灵机

✍ dations ◷ 2025-11-28 18:19:05 #艾伦图灵,图灵机

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

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

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

相关

尘暴尘暴，可能指：
化学势在热力学中，某种物质的化学势指的是，在化学反应或者相变中，此物质的粒子数发生改变时所吸收或放出的能量。在混合物中的某种物质的化学势定义为此热力学系统的吉布斯自由能对此
心理测时法心理测时法可被定义为人脑信息处理的时序研究或者为心理活动的精确测量。心理测试法可以被用在认知心理学或行为神经科学中来解释认知过程的机理。
番荔枝科番荔枝科（学名：Annonaceae）在生物分类学上是被子植物木兰目下的一科。约有129属，2120种，是木兰目中最大的科。有的果实可食，有的可材用，有些为观赏植物。大多分布在热带地区，少数分
笔帖式笔帖式（满语：ᠪᡳ᠍ᡨ᠌ᡥᡝᠰᡳ，转写：bithesi），满语音译，源于蒙古语巴克什（багш），意为书记，是清朝满人专属官职之一，此官职配置于朝廷或地方的辅助部门，品等为正六品至正九品。该官
反-2-丁烯由于双键在第二个碳原子上，因此为2-丁烯。然中间的双键无法旋转，两边的甲基和氢原子互在反位，因而得名。英文名称为trans-2-Butene(反-2-丁烯)-2-丁烯由第二丁基氯之去卤化氢
让-米歇尔·巴斯奎特让-米歇尔·巴斯奎特（，1960年12月22日－1988年8月12日），是一位美国艺术家。他先是以纽约涂鸦艺术家的身份获得大众认识，后来成为一位成功的1980年代表现主义艺术家。巴斯奎特的作品
夏尔·凯什兰夏尔勒·路易·欧仁·柯克兰（法语：Charles Louis Eugène Koechlin，1867年11月27日－1950年12月31日），法国作曲家，音乐学家。早年在巴黎音乐学院从马斯内和福莱学习，之后一直过着类似
兰格尔山兰格尔山（英语：Mount Wrangell）是一座位于美国阿拉斯加州东南部兰格尔－圣伊利亚斯国家公园暨保护区内的大型盾状火山。兰格尔山海拔高度4,317米，其安山岩组成的山体是在更新世时
LibreCADLibreCad，是一个能运行在Windows、MAC、Linux上的自由的开源个人CAD应用程序。原先是QCad社群版的一个分支。