通用图灵机

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

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

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

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

相关

  • 分娩分娩(childbirth)也称为生产,是指妇女怀孕之后,一个或多个胎儿离开母亲子宫,开始在子宫外生活的过程,可能是经由阴道的阴道分娩,也可能是剖宫产。全世界在2015年时有1.35亿人出生,其
  • About.comDotdash.com(中文:阿邦网、前称:The Mining Company、MiningCo.com, Inc.、About, Inc.、About.com),美国的门户网站,创建于1997年4月21日,拥有Very Well、The Balance、Lifewire、
  • 多塞特都会区东南多塞特郡组合都市(South east Dorset conurbation)也称南多塞特郡组合都市(South Dorset conurbation)、 普尔-伯恩茅斯都会区(Poole-Bournemouth urban area) 以及伯恩茅斯都
  • 莉亚·莎隆嘉丽娅·萨隆加(英语:Lea Salonga,1971年2月22日-),菲律宾歌手、演员,以演出《西贡小姐》音乐剧闻名,曾获奥立弗奖、东尼奖、剧评人奖、圈外剧评人奖、世界戏剧奖等大奖肯定,是首位以单
  • 片假名片假名(日语:片仮名/かたかな/カタカナ  *),是日语中表音符号(音节文字)的一种。与平假名、万叶假名等合称作假名。“片假名”一词在使用时常用“カタカナ”表示。签名时如果要表
  • 凹凸性 (几何)在几何学中,一个几何图形可分为凸或凹的。例如多边形和多面体。其中,凸的多边形称为凸多边形、凹的多边形则可称为凹多边形或非凸多边形,多面体与多胞体亦然。然而在三维或更高
  • 约瑟芬·德·博阿尔内约瑟芬·德·博阿尔内(法语:Joséphine de Beauharnais,1763年6月23日-1814年5月29日),原名玛丽·罗丝·约瑟芙·塔契·德·拉·帕热利(法语:Marie Rose Josèphe Tascher de la Pag
  • 人工酶人工酶是指人工合成的具有酶活性位点的有机分子。酶能够以高度的专一性和催化效率对化学反应进行催化,而酶的催化活性位点只是酶这样的大分子中的很小一部分。因此,可以通过人
  • 保罗·嘉理保罗·嘉理(Paul Curry,1917年-1986年)是美国纽约州的蓝十字保险公司的副总裁,也是一名业余魔术师。很多魔术师都进行了幻想和嘉理创建的效果。道格宁(Doug Henning)在嘉理的电视特
  • 韦斯巴芗提图斯·弗拉维乌斯·维斯帕西亚努斯(Titus Flavius Vespasianus,9年11月17日-79年6月23日),英语化作韦斯巴芗(Vespasian),罗马帝国弗拉维王朝的第一位皇帝。他是四帝之年(69年)的最后