通用图灵机

✍ dations ◷ 2025-11-26 08:05:22 #艾伦图灵,图灵机

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

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

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

相关

  • LTB4白三烯B4(英语:Leukotriene B4)是一种与炎症反应有关的白三烯类物质。它由响应炎症介质的白细胞产生,让白细胞活化并依附在内皮上,允许其穿过组织。在中性粒细胞中,它也是一种强效
  • 天主教罗马教区天主教罗马教区(拉丁语:Dioecesis Urbis;意大利语:Diocesi di Roma)是天主教会在意大利首都罗马设置的教区,辖区实际上包含罗马市与梵蒂冈城国。其拉丁文名称的“Urbis”是“城市
  • 英国广播公司新闻网英国广播公司新闻网(英语:BBC News Online)是英国广播公司旗下负责新闻搜集和发布的部门,也是英国广播公司新闻的网站。它是英国最受欢迎的新闻网之一,为英国广播公司在线的重要
  • 休伯特·帕里第一代从男爵·查尔斯·休伯特·哈斯廷斯·帕里爵士(英语:Sir Charles Hubert Hastings Parry,1848年2月27日-1918年10月7日),英国作曲家,音乐教育家,音乐学家。帕里的父亲是一位富
  • 液力变矩器液力变矩器,亦称扭力转换器,是在液力耦合器的基础上改进而成,用来传递旋转动力。它将动力源(通常是发动机或电机)与工作机连接起来,可同液力耦合器一样起到离合器的作用,但不同的是
  • 2009年马来西亚羽毛球黄金大奖赛2009年马来西亚羽毛球黄金大奖赛为第1届马来西亚羽毛球黄金大奖赛,是2009年世界羽联大奖赛的其中一站。本届赛事于2009年6月23日至6月26日在马来西亚新山举行,并获得YONEX-SUN
  • 藤本英雄藤本英雄(ふじもと ひでお、1918年5月10日-1997年4月26日),日本朝鲜族,朝鲜名李八竜(韩文:이팔룡),旧名藤本八竜、本名中上英雄,在韩国的釜山出生,8岁时移居日本山口县下关市。日本职棒
  • 天一同人本事件天一同人本事件,指2018年10月底中国大陆耽美小说家天一等人,因为同人作品《攻占》而被安徽省芜湖县法院以“制作、贩卖淫秽物品”判刑的具争议事件。2000年的网上连载小说《此
  • TensorFlowTensorFlow是一个开源软件库,用于各种感知和语言理解任务的机器学习。目前被50个团队:min 0:15/2:17用于研究和生产许多Google商业产品:p.2,如语音识别、Gmail、Google 相册和
  • 隆纳·大卫·连恩隆纳·大卫·连恩(英语:Ronald David Laing,1927年10月7日-1989年8月23日),通常被称为“R·D·连恩”(R.D. Laing),是一位苏格兰精神科医师,撰写了大量有关精神疾病的文章,特别着墨于疾