通用图灵机

✍ dations ◷ 2025-12-02 11:26:38 #艾伦图灵,图灵机

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

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

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

相关

  • 副黏液病毒亚科副黏液病毒亚科(Paramyxovirinae),属于副黏液病毒科,包括:
  • 相互理解性相互理解性(mutual intelligibility)指语言学上的互通程度(亦称互懂程度),为某种语言的使用者在从未接触另一种语言(包括听或学习)的情况下,能通过听力或(及)阅读理解另一种语言的程度
  • 旧宫旧宫(Palazzo Vecchio)是意大利佛罗伦萨的市政厅。厚重的罗马式建筑,开垛口的堡垒,使其成为托斯卡纳最宏伟的市政厅。它俯瞰着领主广场,前面是米开朗琪罗大卫像的复制品,以及众多
  • 弹尾虫弹尾目(学名:Collembola),通称跳虫目或弹尾虫,是属于内口纲的小型节肢动物,以往曾被列入昆虫纲的无翅亚纲,现在通常与另外两个原本属于昆虫纲的原尾目及双尾目合并为内口纲。而内口
  • 詹姆斯·鲍德温詹姆斯·亚瑟·鲍德温(英语:James Arthur Baldwin,1924年8月2日-1987年12月1日),美国作家,小说家,诗人,剧作家和社会活动家。作为黑人和同性恋者,鲍德温的不少作品关注20世纪中叶美国
  • 长沙会战长沙会战,指中国抗日战争期间,以湖南长沙为主的系列战役的总称。分别如下:长沙保卫战也可以指:
  • 符号论美学符号论美学的基本特征是把审美和艺术现象归结为文化符号,对人文主义和科学主义的美学都有较大的包容性。恩斯特·卡西勒是新康德主义者,他认为康德还没有摆脱传统的认识论。他
  • 栾恩杰栾恩杰(1940年11月-),满族,中国导弹控制技术专家和航天工程管理专家,国际宇航科学院院士,中国工程院院士,中国宇航学会名誉理事长,原中国科学技术协会副主席、国防科学技术工业委员会
  • 新字体与简化字的差异新字体与简化字的差异指的是日文的新字体和中文的简化字之间的差异。下面列出了旧字体、新字体与其对应的汉字对照。在以下列表中,字符按日本汉字的部首排序。旧字体-汉字列
  • 碧岩镇碧岩镇,是中华人民共和国甘肃省定西市陇西县下辖的一个乡镇级行政单位。碧岩镇下辖以下地区:龙川村、王庄村、万山村、科羊村、万沟村、碧岩村、珠帘村、郑坪村、庞坪村、黄哩