通用图灵机

✍ dations ◷ 2025-12-03 08:44:50 #艾伦图灵,图灵机

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

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

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

相关

孟安明孟安明（1963年7月－），四川大竹人，中国发育生物学家。清华大学生物科学与技术系教授。1983年本科毕业于西南农业大学，获学士学位，1990年毕业于英国诺丁汉大学遗传系，获博士学位。现任
费景汉费景汉（英语：John C. H. Fei，1923年3月11日－1996年7月19日），北京市人，经济学专家，逝世于台北。
广西军区中国人民解放军广西军区，是中国人民解放军现属中央军委国防动员部的一个省级军区，管辖范围为广西壮族自治区。主席（党、国）副主席（党、国）委员（党、国）军种：陆军　海军　空军　火
姚启圣姚启圣（1623年－1683年），字熙之，斋号忧庵、忧畏轩，明末清初政治人物。浙江会稽县人，清初入隶镶红旗汉军，因战功官拜兵部尚书、太子太保，著作《忧畏轩遗集》。妹婿为明季广西巡抚黄锡衮
桦太厅桦太厅（日语：樺太庁〔樺太廳〕／からふとちょう */?）是日本治理库页岛（日本称为桦太）时期，所设立管理当地的地方行政官厅。当时日本的管辖范围，是北纬50度以南、经由1905年《朴茨
为爱伤心为你痛《为爱伤心为你痛》是台湾歌手张克帆的第二张个人专辑，于1995年10月发行。
西弗里斯兰语西弗里斯兰语（荷兰语：Westerlauwers Fries 或简称 Fries，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Uni
里下河平原里下河平原是位于江苏省中部的以兴化市为中心的一碟形平原洼地，又称苏中湿地（位于淮安，盐城，扬州，泰州，南通5市交界区）。本区属淮河流域湿地区，它西起里运河，东至串场河，北自古淮河，南
裂褶苔藓虫见内文裂褶苔藓虫（学名：），又名裂体苔藓虫，是俭孔苔虫科下的一属苔藓虫，生活在海床上。其聚合群体有椭圆网孔的皱褶复叶状结构。单体在复叶状结构的一侧敞开口。这些单体具有带凹槽
试观此人“试观此人”（拉丁语：；教会拉丁语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium"