通用图灵机

✍ dations ◷ 2025-11-27 15:50:52 #艾伦图灵,图灵机

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

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

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

相关

  • 教育技术学教育技术是以计算机为核心的移动信息通信技术在教育、教学中的运用。(双十洪纪承,2015)教育技术是一个新兴学科,是伴随着计算机的出现而出现的,它是传统教育插上计算机科学之后
  • 腰骶神经丛腰骶神经丛是由腰神经(英语:lumbar nerve)、荐神经(英语:sacral nerve),以及尾神经(英语:coccygeal nerve)。有时候胸下神经的分支也会参与神经丛的形成。腰骶神经丛可分为下列部分:腰
  • Pandora潘多拉珠宝是丹麦一间著名的金匠公司,由沛·恩俄博森(Per Enevoldsen)和其夫人温妮·利泽博(英语:Winnie Liljeborg)在1982年建立。2009年公司销售额34.61亿丹麦克朗。Pandora在哥
  • 魁北克人党魁北克人党(法语:Parti Québécois),简称魁人党,是加拿大魁北克省的一个左翼省级政党。该党以魁北克独立为宗旨,并支持劳工运动。1968年由瑞内·勒维克创建,2007年起宝琳·马华担
  • 谢利格尔湖谢利格尔湖是俄罗斯的湖泊,位于特维尔州和诺夫哥罗德州的瓦尔代高地西北部,属于瓦尔代高地一部分,湖泊面积212平方公里,海拔205米,平均深度5.8米,湖中小镇有渡假胜地奥斯塔什科夫
  • 德上高速公路德上高速公路,是中国国家高速公路网中的一条并行线,国家高速编号为G0321(旧标准编号为G3W),有两种含义,分别指:部分由原 德商高速组成,部分路段与 日兰高速和 济广高速共线,于2019年1
  • 哭泣的玫瑰《哭泣的玫瑰》()是1997年的美国传记音乐电影,讲述了已故的著名拉丁女歌手赛琳娜的一生。影片由格雷戈里·纳瓦(英语:Gregory Nava)执导,珍妮弗·洛佩兹担任主演。
  • 石破二朗石破二朗(1908年7月29日-1981年9月16日),日本政治家,曾任内务建设大臣、参议员和鸟取县知事。其长子为石破茂,历任日本防卫厅长官、农林水产大臣、自民党政调会长等要职。第二次大
  • 幼幼新书《幼幼新书》,刘昉著,40卷,547门。宋代儿科医疗专书。刘昉有感于小儿之疾苦,于荆湖南路安抚使任职期间,录取前贤关于儿科之论述,“取古圣贤方论与夫近世闻人家传,下至医工技工之禁
  • 核心六国核心六国(The Inner Six,或简称The Six)6个欧洲各共同体的初创成员国。他们与外围七国(Outer Seven)形成对比,后者成立了欧洲自由贸易联盟而非投身于超国家的欧洲统合架构。外围