通用图灵机

✍ dations ◷ 2025-02-24 00:17:15 #艾伦图灵,图灵机

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

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

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

相关

  • 再生不良性贫血再生不良性贫血(aplastic anemia/aplastic anaemia)也叫再生障碍性贫血(简称再障),是指骨髓未能生产足够或新的细胞来补充血液细胞的情况。一般来说,贫血是指低的红血球统计,但患有
  • 洗衣粉洗衣粉是洗衣服时,添加溶解在水中来清洗,使衣服更容易洗净的粉状物。洗衣粉的成分一般主要包括表面活性剂、软水剂、碱剂、漂白剂等,其中一些化合物或造成水污染。洗衣粉并不适
  • 哈萨克斯坦哈萨克斯坦国家图书馆(哈萨克语:Национальная Библиотека Республики Казахстан),是哈萨克斯坦的国家图书馆。这座图书馆于1931年建
  • 绿原酸绿原酸(Chlorogenic acid;CGA),又名氯吉酸、氯原酸、咖啡单宁酸、杜仲绿原酸、全蝎提取物、咖啡酰奎尼酸等,是一天然的化合物,由咖啡酸及(−)-奎尼酸酯化而成。 绿原酸是一种重要
  • 昌邑市昌邑市,古称鄑邑、都昌,是潍坊市下辖的一个县级市,在中国山东省北部偏东,面积1627.5平方千米,人口58万(2011年)。属龙山文化和大汶口文化,古称密乡、都昌。秦始皇二十六年(前221年)灭
  • 乌拉山乌拉山是中国阴山山脉的支脉,位于内蒙古自治区境内。它横贯巴彦淖尔盟东南部。西起西山咀,东至包头的昆都仑河,隔河和大青山相连。东西长94公里,南北宽20公里。
  • 酃峰按照海拔高度,降序排列。参见:湖南地理、山
  • 政治文化政治文化(英语:political culture)是一个政治学术语,意指一个国家的政治行为规范,也可以是区域性或其他类别的政治行为规范。政治文化这一概念最先是由18世纪德国启蒙思想家约翰
  • 索普威思·骆驼式战斗机索普威思·骆驼式战斗机(Sopwith Camel)是英国第一次世界大战期间于1917年在西线引入的单座双翼战斗机,由索普威思飞机公司开发,是同公司的早期小狗式战斗机后继机型。索普威思
  • 盖乌斯·尤利乌斯·希吉努斯盖乌斯·尤利乌斯·许癸努斯(拉丁语:Gaius Julius Hyginus,约前64年~17年),拉丁作家,他的著作对于现代学者研究古希腊神话具有重要意义。许癸努斯生活在公元1世纪的罗马帝国初期。