通用图灵机

✍ dations ◷ 2025-12-08 15:42:13 #艾伦图灵,图灵机

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

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

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

相关

中心体中心体作为一个部分真核细胞的胞器，由两个互相垂直的中心粒构成。中心体是动物细胞中主要的微管组织中心，同时也能够调节细胞周期进程。爱德华·凡·贝内登（Edouard Van Benede
在世超级人瑞列表本列表依年龄长幼排列记录经认证的超级人瑞（年龄超过110岁者）。据估计已有150到600人活到了110岁，不过受限于部分区域地理偏远与年代久远等资讯流通问题，导致并非所有人瑞都在
洪国藩洪国藩（1939年12月24日－），浙江宁波人，分子生物学家，中国科学院院士，第三世界科学院院士。现任中国科学院国家基因研究中心主任。1964年，毕业于复旦大学生物系。1979年－1983年间，在英国
国家奈米元件实验室国家奈米元件实验室，英名名称为National Nano Device Laboratories, NDL，简称为奈米实验室，位于新竹市科学工业园区旁，隶属于财团法人国家实验研究院，为台湾培育半导体与奈米科技
钇化合物钇化合物是钇（元素符号：Y）形成的化合物，在这些化合物中，钇一般显+3价。钇化合物的溶解度性质与镧系元素铕至镥的化合物有一定相似之处，如碳酸盐和草酸盐难溶于水，而可溶于过量的碳
哈卡舞哈卡舞（Haka）在新西兰泛指毛利人的传统舞蹈形式。于各太平洋地区中，诸如汤加、塔希提岛、萨摩亚等国都有略异的哈卡舞。源于夏威夷和波利尼西亚。哈卡舞是动作、拍打配以叫嚷和
唐元唐元（1269年－1349年），字长孺，号敬堂，学者称筠轩先生。元朝江浙行省徽州路歙县（今安徽黄山市歙县）人。元朝著名学者、理学家、文学家，仕至徽州路儒学教授。他是徽州唐氏三先生之一，也是
阿诺德·巴克斯阿诺德·埃德华·特雷弗·巴克斯爵士，KCVO（英语：Sir Arnold Edward Trevor Bax，1883年11月8日－1953年10月3日），英国作曲家，诗人。巴克斯生于伦敦一个祖籍荷兰的中上层家庭，小时候即展
乔治·莫斯科尼乔治·莫斯科尼（George Richard Moscone）（1929年11月24日－1978年11月27日），或译莫斯孔尼，生于美国旧金山，是一名美国律师和民主党政治人物，曾任加州州参议员、旧金山市监事会议成员及
安全检查安全检查（简称安检，Security check）为降低安全风险所采取的一切检验手段，为风险管理主要内容之一，涵盖社会、经济与政治生活各个领域，根据特定的对象和要求，包括对特定建筑与设施建