通用图灵机

✍ dations ◷ 2025-10-27 00:59:37 #艾伦图灵,图灵机

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

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

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

相关

  • 宇宙飞行员航天员是指接受航天训练后,指挥、操纵或搭乘航天器的人员。在美国,以旅行高度超过海拔80公里(50英里)的人被称为“astronaut”。国际航空联合会(FAI)定义的宇宙航行则需超过100公
  • 屏风屏风是家具的一种,作用于间隔出一处特定的空间,有防止光及风直入室内。屏风适合用于更衣、沐浴、睡觉等私人活动。现时在酒楼、办公室等公众场所也常见,它有作为间板房用途,可暂
  • 罗伯特·贝登堡罗伯特·史蒂芬生·史密斯·贝登堡,第一代贝登堡男爵,OM,GCMG,GCVO,KCB(英语:Robert Stephenson Smyth Baden-Powell, 1st Baron Baden-Powell,/ˈbeɪdən ˈpoʊ.əl/,1857年2月22
  • 2014年信息国际信息学奥林匹克竞赛(International Olympiad in Informatics,IOI),是面向中学生一年一度的信息学科竞赛。第一届国际信息学奥林匹克竞赛于1989年在保加利亚的布拉维茨举行。
  • 平均曲率在微分几何中,一个曲面 S {\displaystyle S} 的平均曲率(mean curvature) H {\displaystyle H} ,是一个
  • 46号西弗吉尼亚州州道46号西弗吉尼亚州州道(英语:West Virginia Route 46)是一条位于美国西弗吉尼亚州米纳勒尔县的东西向的州级公路,此公路分成两段,两段之间由MD 36与MD 135的2英里的部分连接。
  • 恩吉格米恩吉格米是尼日尔东南部的城市,由迪法大区负责管辖,毗邻乍得湖,海拔高度297米,是邻近城市的盐贸易中心,该市人烟稀少,2001年人口15,922。
  • 360极速浏览器360极速浏览器是360安全中心推出的一款基于Chromium开源项目的浏览器,也基于世界之窗浏览器再次开发产品的浏览器。奇虎360称其是全球首个无缝衔接Chrome和Internet Explorer
  • 纳智捷 S3纳智捷S3(Luxgen S3)是纳智捷汽车于2016年推出的5人轿车系列。此车采纳智捷S5底盘为基础进行改良。有1.6L和电动引擎两种款;东风汽车DFMA16之1.6升直列四缸自然进气引擎可提供1
  • 集体安全集体安全是一种保障所有国家生存与国际和平的制度。在这种机制下,每个参与国都认为破坏和平是对所有参与国共同的挑战,也即参与国认为其他国家的安全是所有国家的安全。集体安