通用图灵机

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

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

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

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

相关

  • Netscape 7Netscape 7是由网景通信制作的跨平台网络包系列,修改自Mozilla Application Suite,可以在Windows、Mac OS、Linux上运行。整个包包含Navigator(网页浏览器)、Netscape Mail & Ne
  • 降主动脉主动脉(希腊语:αορτή)是一大血管,体循环动脉系统的起始主干,它发自左心室。主动脉是身体最大的动脉,直径有2.5-3.5 cm。形如拐杖,弓形开端,向下直到骨盆区。在解剖学、外科学上
  • 44布罗德曼44区(简称BA44)是大脑皮质的额叶的一个细胞结构分区。它位于额叶的外侧部,前运动皮层之前,布罗德曼9区之下,布罗德曼45区之后。BA44的上界为额下沟,前界为外侧沟(Lateral s
  • 竞争性抑制作用酶(英语:Enzyme(/ˈɛnzaɪm/ )),是一类大分子生物催化剂。酶能加快化学反应的速度(即具有催化作用)。由酶催化的反应中,反应物称为底物,生成的物质称为产物。几乎所有细胞内的代谢过
  • 沙尔克利福德·沙尔(英语:Clifford Shull,1915年9月23日-2001年3月31日),美国物理学家,1994年获诺贝尔物理学奖。1915年出生于宾夕法尼亚州匹兹堡。2001年逝世于马萨诸塞州梅特福德(英语
  • 天堂陌影《天堂陌影》是1984年的一部美国荒诞喜剧电影。由吉姆·贾木许编剧及导演,前爵士乐手约翰·卢瑞尔、理查德·埃德森、匈牙利裔演员艾斯特·巴林特主演。该片在美国独立电影史
  • 2014年10月逝世人物列表2014年10月逝世人物列表,是用于汇总2014年10月期间逝世人物的列表。
  • 郭枫郭枫(1933年10月10日-),本名郭少鸣,台湾作家,不参加文学流派或结盟活动的文学工作者。郭枫曾任小、中、大学教师。在台湾、海外及大陆投资,担任过工厂、国际贸易公司董事长、私立高
  • 丸山城志郎丸山城志郎(日语:丸山 城志郎,1993年8月11日-)是日本柔道运动员,曾获得2018年亚洲运动会柔道比赛男子66公斤级银牌。父亲丸山显志(日语:丸山顕志)、兄长丸山刚毅(日语:丸山剛毅)也是柔道
  • 三星盖乐世S5三星盖乐世S5是韩国三星电子于2014年推出的新一代旗舰型智能手机,是三星盖乐世 S系列的第五代。在2014年2月24日在西班牙巴塞罗那举行的全球移动通讯大会上发布。Android操作