通用图灵机

✍ dations ◷ 2025-12-08 01:02:08 #艾伦图灵,图灵机

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

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

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

相关

  • 英雄英雄指品格优秀、做出超越常人事绩的人。“英雄”一词可以是男性也可以是女性,但有时为了作区分,也可以用“英雌”、“女英雄”、“巾帼英雄”等词特指女性英雄人物。在传说中
  • 粉防己碱粉防己碱是一种双苄基异喹啉生物碱,是一种钙通道阻滞剂。具有抗炎,免疫和抗过敏作用,抑制肥大细胞的脱粒。 它具有“类奎尼丁”的抗心律失常作用。已可从粉防己和其他中草药中
  • 胚轴在植物学里,胚轴是幼苗的一个部分。以子叶作为分界,其上称为上胚轴(英语:epicotyl),其下称为下胚轴(英语:hypocotyl)。植物胚胎在发芽的过程中会生长出胚根,向下生长至土壤之中。在胚
  • 野生火鸡野生火鸡(学名:Meleagris gallopavo),又名普通火鸡,是原产于北美洲的火鸡,也是最重的火鸡。家火鸡与它们属于同一物种,是将墨西哥的亚种驯化而来的。野生火鸡的脚很长及呈红黄色至
  • N1N1运载火箭是苏联研发的用来将苏联宇航员送到月球的火箭,也被西方人称为 G-1e 或 SL-15 。N1就是俄语носитель(运载器)的缩写。N1运载火箭研发工作比土星五号晚,不仅资
  • 爱德华氏综合征参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):]]爱德华氏综合征(亦称18-三体综合征)是一种遗传疾病,是(所
  • 先锋站 (罗先)先锋站(韩语:선봉역)是朝鲜民主主义人民共和国罗先特别市先锋郡先锋邑的一个铁路车站,属于咸北线和胜利线。咸北线胜利线
  • 白井二郎白井 二郎(日语:しらい じろう、1867年7月12日(庆应3年6月11日) - 1934年9月3日)为日本陆军将领。最终阶级为陆军中将。长州藩士・陆军中佐、白井胤良的二男。1881年(明治14年)5月
  • 弗拉基米尔·沃斯科博伊尼科夫弗拉基米尔·沃斯科博伊尼科夫(俄语:Владимир Воскобойников;爱沙尼亚语:Vladimir Voskoboinikov;1983年2月2日-)是一位俄裔爱沙尼亚足球运动员,司职前锋。现
  • PsyToolkitPsyToolkit是一个可以编制心理实验的套装软件,通常可以被归类为一个行为实验软件(英语:Comparison of behavioral experiment software)。软件由Dr Gijsbert Stoet于2005年在圣