通用图灵机

✍ dations ◷ 2025-12-01 21:00:22 #艾伦图灵,图灵机

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

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

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

相关

  • 美国大学协会美洲大学协会(又称美国大学协会,英语:Association of American Universities,缩写:AAU)是由美国和加拿大65所顶尖的研究型大学所组成的一个教学和研究组织。 它的主要宗旨是致力于
  • 输卵管切除术输卵管结扎(Tubal ligation或tubectomy),也称为输卵管切除术或是女性结扎,是针对女性的两个输卵管进行的避孕手术,可能是将输卵管夹紧和阻住,或是破坏输卵管的一小段并且封合一端(
  • 出版商出版社是指从事书籍、报纸及刊物出版,通过经营获得利益、名声或者知识积累目标的企业。它的主要工作是先付给作者一定的报酬,再把该作品通过合法的渠道进行市场推广和销售。作
  • 量子穿隧在量子力学里,量子隧穿效应(Quantum tunnelling effect)指的是,像电子等微观粒子能够穿入或穿越位势垒的量子行为,尽管位势垒的高度大于粒子的总能量。在经典力学里,这是不可能发
  • 扶br /余扶余国,古国名,亦作夫余、凫臾,由中国东北地区的古老民族扶余人所建立的国家,亦是中国东北地区第一个有史可考的国家。扶余国从前2世纪立国到494年东扶余国被高句丽灭国为止,历时
  • 东莞会馆东莞会馆,位于中国广东省深圳市南山区南头古城内,为深圳市的一个市级文物保护单位,类型为古建筑,公布时间为1984年9月6日。东莞会馆的历史年代为清代。
  • 羽扇豆属羽扇豆属(学名:)又称鲁冰花,是豆科中的一个属,主要分布于北美洲西部、南美洲、地中海地区以及非洲。这类植物大多为多年生草本植物,高约0.3到1.5米;另外也有少数为一年生植物,且有些
  • 安家《安家》(英语:)(前名:卖房子的人),2020年中国大陆都市情感剧,本剧是耀客传媒买下日剧《卖房子的女人》版权,由六六重新编写的原创故事。本剧由孙俪、罗晋、张萌领衔主演,于2019年4月2
  • 勒内-路易·贝尔勒内-路易·贝尔(法语:René-Louis Baire,1874年1月21日-1932年7月5日)是一个法国数学家。他生于法国巴黎,逝于法国尚贝里。他最有名的是贝尔纲定理,是他在1899年论文中证明的结论
  • 阿贝尔·费拉拉阿贝尔·费拉拉(英语:Abel Ferrara;1951年7月19日-)是旅居罗马的美国电影工作者,他执导的电影以激进与争议题材闻名。阿贝尔·费拉拉出生在布朗克斯一个信奉天主教的爱尔兰与意大