通用图灵机

✍ dations ◷ 2025-11-30 05:54:32 #艾伦图灵,图灵机

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

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

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

相关

  • 王政时期罗马王政时代或罗马王国(拉丁语:REGNVM ROMANVM)是指前753年到前509年这一时期的古罗马,此时的罗马是一个君主制国家,尚未建立共和国。罗马王国时期,氏族部落组织尚完整存在,统治阶
  • 册封册封原意是指“册命封爵”,是指君主制国家中君主授予他人封爵名号的典礼或行为,并会有授予封爵的诏书,这种诏书叫“册文”,简称“册”。一般会举行一定仪式对受封者宣读诏书授给
  • 开放媒体联盟开放媒体联盟(Alliance for Open Media,简称AOMedia)是一个发展开放影像编码的非营利组织,目标是开发免专利的影像编码格式,作为VP9影像编码的继任者,取代需要专利的HEVC影像编码
  • 爱之种“爱之种”(愛の種)是日本的女子偶像组合“早安少女组。”的第1张独立制作单曲,于1997年11月3日由URANEBA RECORD发售。
  • 1,7-辛二烯1,7-辛二烯(C8H14)是一种烯烃,轻度易燃。研究人员可使用1,7-辛二烯辅助乙烯发生交叉炔烃复分解(英语:Enyne metathesis)狄尔斯–阿尔德反应,又或通过热解顺式萘烷获得。沉积在二氧
  • 米哈伊·勒兹万·温古雷亚努米哈伊·勒兹万·温古雷亚努(Mihai Răzvan Ungureanu ,罗马尼亚语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucid
  • 优素福·卢莱优素福·基龙德·卢莱(斯瓦希里语:Yusuf Kironde Lule,1912年-1985年1月21日),乌干达政治家,1979年4月13日至6月20日期间曾出任过渡总统。他是乌干达全国解放阵线的领导人,协助坦桑
  • 甲斐姬甲斐姬(日语:甲斐姫/かいひめ ,1572年-?)是日本战国时代忍城城主成田氏长(日语:成田氏長)的长女,丰臣秀吉的侧室。天正18年(1590年)小田原征伐爆发,氏长前往小田原城支援,留下的甲斐姬和其
  • 可靠性、可用性和可维护性可靠性、可用性和可维护性(Reliability, Availability and Serviceability)是电脑硬件工程上的术语,最初来自IBM公司为其大型主机所做的宣传广告,强调大型主机系统的坚韧强固。
  • Studio Dragon CorporationStudio Dragon Corporation (韩语:스튜디오드래곤 주식회사为韩国娱乐财团CJ ENM(英语:CJ ENM)将旗下电视剧事业部门独立设置营运的电视剧综合制作公司。主要业务为电视剧制作、