通用图灵机

✍ dations ◷ 2025-12-04 18:29:26 #艾伦图灵,图灵机

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

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

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

相关

  • 肌肉痛肌肉痛(英语:Myalgia),如字面意思所言——肌肉疼痛,是多种疾病的症状,其最常见的成因是肌肉(群)的过度拉伸、过度使用。没有肌肉创伤史的肌肉痛则通常是由病毒感染所引起,而长期肌肉
  • 克拉通克拉通(来自希腊语kratos,意为“强度”),或称稳定地块、大陆核心、古陆、古陆核、刚块、安定地块,是指大陆地壳上的古老而稳定的部分,于最近至少5亿年内的大陆和超大陆的会聚和分
  • 简化性质在热力学中,流体的对比性质(英语:reduced properties)也称为简化性质,是指一组正规化的热力学性质,正规化的基准是以临界点的热力学性质为准。对比性质是无量纲的物理量,再配合物质
  • 19个中级法院本表注释见中华人民共和国法院列表。
  • 各地机场数量列表各国(或地区)机场数量列表是根据美国中央情报局发表的《世界概况》而得出的排名列表。
  • 伊泽芳登伊泽芳登是南非西海岸的一个海港小镇,距开普敦约90公里。主要的收入来源于旅游业(特别是8月至10月野花盛放的季节)和捕鱼。伊泽芳登独有的“16英里海滩”(16 Mile Beach)闻名于世
  • 旅游警示旅游警示或旅行警示指的是各国政府为了保障其国民在国外时的安全,会根据驻外使领馆等外交代表机构的报告及国际新闻媒体的报导,依危险程度对于国家与地区予以分级并说明。若某
  • 小寒 (填词人)小寒(?-)是当今华语流行乐坛中一位女填词人,来自新加坡,为许多畅销歌手如陈奕迅、林俊杰、林忆莲、蔡健雅、方大同、蔡依林、孙燕姿、EXO等填词。自1998年起,小寒便以细腻的手法与
  • 西德尼·卓别林西德尼·卓别林(英语:Sydney Chaplin,1885年3月16日--1965年4月16日),英国演员,同时还是喜剧电影大师查理·卓别林同母异父的哥哥和经纪人。查理和第二任妻子丽泰·格雷的次子西
  • 托马斯·戈尔德 (天文学家)托马斯·戈尔德(英语:Thomas Gold,1920年5月22日-2004年6月22日)是一位生于奥地利的天文物理学家,他曾担任康乃尔大学天文学教授、美国国家科学院院士、皇家学会院士。戈尔德是195