通用图灵机

✍ dations ◷ 2025-12-10 02:07:15 #艾伦图灵,图灵机

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

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

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

相关

  • 肠胃炭疽病(英语:anthrax)是由炭疽杆菌感染造成的疾病,感染途径包括皮肤接触、呼吸道、消化道以及注射等四种,通常在感染一天至两个月后开始出现症状,经由皮肤接触的感染起初会出现小
  • 威尼托语威尼托语并非威尼斯语:威尼托语是威尼托人所讲的一种语言,从公元前六世纪到公元前二世纪罗马时代之初的碑文中人们发现了这种语言,直到公元二世纪,宗教崇拜中还发现有使用这一语
  • 堂弟堂亲是指跟自己父亲有血缘关系的同姓氏男性亲人及其姻亲和后代;粗略地来说,如果不考虑改姓、随母姓等特殊情况,除了父母及两人的直系后代之外,来自父亲一方同姓的血亲(父亲兄弟及
  • 东京时间日本标准时间(日语:日本標準時;英语:Japan Standard Time;缩写:JST)是日本所采用的标准时间,比世界协调时快九小时(即UTC+9),与韩国标准时间、印尼东部时间(英语:Time in Indonesia)、雅库
  • 四聚氧氧4分子(O4),也被称作四聚氧。1924年,吉尔伯特·牛顿·路易斯首先预测了它的存在,以解释液氧不符合居里定律(顺磁性物质的磁化率与热力学温度成反比)的原因。现在看来路易斯的预测
  • 战后移宫德寿宫是朝鲜王朝最后的宫殿,位于大韩民国首尔市,宫内有许多朝鲜早期的欧式建筑。德寿宫最早作为成宗之兄月山大君的宅邸而建。壬辰倭乱时,居住在这里的是月山大君的后代李琉、
  • 巴利文上座部佛教巴利语(IAST/ISO 15919: Pāḷi、पालि)是古印度语言,属于印欧语系、印度-伊朗语族、印度-雅利安语支的中古印度-雅利安语,与梵语十分相近,是印度西方所用的俗语(普
  • 尼古拉斯-西奥多·索绪尔尼古拉-提奥多·德·索绪尔(Nicolas-Théodore de Saussure,1767年10月14日-1845年4月18日)是瑞士化学家,也是对植物化学有卓著贡献的植物生理学家。他也是研究光合作用的重要先
  • 如梅利堡垒如梅利堡垒(Rumelihisarı)位于土耳其伊斯坦布尔的萨勒耶尔区,博斯普鲁斯海峡最狭窄处的欧洲一侧的小山上。它由奥斯曼帝国苏丹穆罕默德二世兴建于1452年,征服君士坦丁堡之前。
  • 尤里埃尔·瓦恩里希尤里埃尔·瓦恩里希(Uriel Weinreich,1926年-1967年)是一位世界知名的语言学家。他专长于意第绪语研究,亦是社会语言学、方言学 的专家。直到现在,他提倡的区分方言的方法,到现在