通用图灵机

✍ dations ◷ 2025-12-05 00:57:32 #艾伦图灵,图灵机

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

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

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

相关

  • 保罗·纳斯保罗·麦克西姆·纳斯爵士,FRS FMedSci(英语:Fellow of the Academy of Medical Sciences)(英语:Paul Maxime Nurse,1949年1月25日-),通称保罗·纳斯(Paul Nurse),英国细胞生物学家、皇
  • 马赫迪马赫迪(阿拉伯语:مهدي‎ mahdī),或译麦赫迪、迈赫迪,意为“导师”,是伊斯兰教教典中记载的将于最后审判日之前7年、9年或者19年降临世间的救世主。马赫迪的概念在《古兰经》
  • 微分几何微分几何研究微分流形的几何性质,是现代数学中一主流;是广义相对论的基础,与拓扑学、代数几何及理论物理关系密切。古典微分几何起源于微积分,主要内容为曲线论和曲面论。欧拉、
  • 娜塔莉·波特曼娜塔-李·赫许勒(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova",
  • 杰斐缅柯方程在电磁学里,给予含时电荷密度分布和电流密度分布,可以使用杰斐缅柯方程(Jefimenko equation)来计算电场和磁场。这方程因其发现者物理学家欧雷格·杰斐缅柯(英语:Oleg D. Jefimenk
  • 金熊加利福尼亚金熊(英语:California Golden Bears)是代表伯克利加利福尼亚大学的体育队伍,参加国家大学体育协会(NCAA)第一级别的众多体育赛事。学校主要为太平洋十二校联盟的成员,不
  • 米每二次方秒米每二次方秒、米秒平方,是国际单位制中加速度的单位。这个单位是由基本单位中的长度单位米和时间单位秒得到的导出单位。记作m/s2、m·s−2或m s−2。加速度是用来描述速度
  • 物理教师物理教师(英语:)是由美国物理联合会代表美国物理教师协会(英语:American Association of Physics Teachers)出版的同行评审学术期刊,内容涵盖物理学史、物理哲学、应用物理学、物理
  • 朱尔斯·达辛朱尔斯·达辛(Jules Dassin,1911年12月18日-2008年3月31日)是一位美国电影导演,主要的作品以黑色电影为主,后来移居到希腊居住。
  • 王宪 (弘治进士)王宪(?-1537年),字维纲,山东东平州(今山东省东平县)人,明朝政治人物。弘治庚戌进士,官至兵部尚书。山东乡试第十一名,弘治三年(1490年),登进士。历任阜平县、滑县知县。正德初年,升任大理寺