通用图灵机

✍ dations ◷ 2025-09-12 21:18:20 #艾伦图灵,图灵机

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

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

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

相关

  • 酒精搓手液酒精搓手液,又名搓手液、免冲水洗手液、免洗洗手液等,是一种用作洗手的液体。酒精搓手液的主要成分为酒精,用作杀菌。由于酒精搓手液无需用水冲洗,所以可以用于外出时清洁双手之
  • 四川泡菜四川泡菜(有的地方叫“泡咸菜”或“泡酸菜”), 是中国四川及重庆等川渝地区家喻户晓的一种佐餐食品。在川渝的筵席、宴会中,在品尝各味佳肴之余,最后上几色泡菜(称为“随饭菜”),以
  • 多尔多涅省多尔多涅省(法语:Dordogne)是法国阿基坦-利木森-普瓦图-夏朗特大区东北部的一个省份,编号为24,为法国第二大省,首府佩里格。5个海外省及大区
  • 威瑞森威瑞森通信(Verizon Communications(/vəˈraɪzən/),NYSE:VZ),是美国一家主要电信公司,全球领先的宽带和电信服务提供商,道琼斯30种工业平均指数组成之一。公司总部位于纽约市,主要
  • 摩利支天摩利支天(梵语:Marīci,意译为阳炎、威光、阳光,也作摩利支菩萨、摩里支菩萨、摩利支天菩萨、日前菩萨、阳焰天菩萨、积光天菩萨、威光天菩萨、摩利支佛母、具光佛母、积光佛母
  • 兰锡纯兰锡纯(1907年2月3日-1995年4月12日)是一位中国医学家,专攻心脏外科。1907年出生于山西万荣县,1920年进入太原市省立第一中学。1925年考入齐鲁大学医学院,1933年毕业于多伦多大学
  • 吉娜·戴维斯弗吉尼亚·伊丽莎白·"吉娜"·戴维斯(Virginia Elizabeth "Geena" Davis,1956年1月21日-)是一位美国女演员、电影制片人、剧作家,前时尚模特,她还曾以射箭运动员的身份打入悉尼奥
  • 1087《1087》是台湾歌手萧亚轩的第八张录音室专辑,于2006年12月22日发行。此专辑是萧亚轩在2006年底签约华纳音乐后发行的首张专辑,但由于萧亚轩在隔年与华纳音乐解约,因此《1087》
  • 光村遗址光村遗址,位于山西省运城市新绛县城西北约5公里处的光村北约100米处,是中华人民共和国山西省文物保护单位之一。1965年5月24日,授予山西省文物保护单位,是一座古遗址。
  • 褶曲山脉褶曲山脉(Fold mountains,又称褶皱山脉)的成因是地壳上部各层的褶皱作用。当两个板块在聚合板块边缘处相互靠近时,就会形成褶曲山脉。当板块以及其上的大陆相撞时,堆积的岩层会被