通用图灵机

✍ dations ◷ 2025-11-25 06:40:59 #艾伦图灵,图灵机

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

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

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

相关

州美国州份是指其主权与美国联邦政府共享的政治实体之一，在联邦内这样的实体共有五十个。由于各政治实体的主权与联邦政府共享，因此一个美国人的身份，可以同时是联邦的公民及其户
阿道夫·布特南特阿道夫·弗里德里希·约翰·布特南特（德语：Adolf Friedrich Johann Butenandt，1903年3月24日－1995年1月18日）是一位德国化学家。1903年生于不来梅逝于慕尼黑，1939年获诺贝尔化学奖
钠长石钠长石（英语：Albite）是钠的铝硅酸盐（NaAlSi3O8），为三斜晶系的玻璃状晶体，一般为无色、白色、黄色、红色或黑色，是长石的一类。钠长石为架状硅酸盐结构，比重2.62，莫氏硬度为6 - 6.5，其
辉特部辉特部（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
四角化扭棱立方体在几何学中，四角化扭棱立方体是一种凸多面体，由正三角形和等腰三角形组成，是一种康威多面体，其对偶是截角五角化二十四面体。四角化扭棱立方体有140个面、210个边和72个顶点，其可
张瑚树张瑚树（1840年－1919年），清末学者。陕西清涧县人。光绪二十年（1894年）甲午科陕西乡试第一名举人（解元）。拣选知县，授文林郎。曾主绥德雕山书院。工诗文。诗作：
大吻前鳍鲉科大吻前鳍鲉科是辐鳍鱼纲鲉形目的一个科。旗下仅有一属一种，即白豚大吻前鳍鲉（），为温带海水鱼，分布于西南太平洋澳洲海域，体长可达16公分，栖息在大陆棚底层水域，生活习性不明。维基
异面在几何学中，异面或歪斜指几何形状在三维空间中的一种关系。异面是指两条或两条以上的直线分别落在不同平面上，则称为异面直线，若只有两条直线时，只会称其为平行或异面，因为会共面
汪达·佳谷汪达·佳谷（Wanda Gág，1893年3月11日－1946年6月27日），美国绘本作家、插画家。《一百万只猫》是她的作品中最知名的。汪达·佳谷于1893年出生于美国明尼苏达州的新乌尔姆，她是七个
科恩诉加利福尼亚州案科恩诉加利福尼亚州案（英语：），403 U.S. 15 (1971)，是美国最高法院有关言论自由的案件。一名男性因身穿一件写有“去他妈的征兵（Fuck the Draft）”（当时美国为越南战争征兵）的夹克，而被