通用图灵机

✍ dations ◷ 2025-12-01 14:28:27 #艾伦图灵,图灵机

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

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

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

相关

  • 细胞破碎细胞破碎技术是指利用外力破坏细胞膜和细胞壁,使细胞内容物包括目的产物成分释放出来的技术,是分离纯化细胞内合成的非分泌型生化物质(产品)的基础。 结合重组DNA技术和组织培养
  • 2012年现象2012年预言或2012年现象(英语:2012 phenomenon)是一个关于末世论的预言、信仰或传说、谣言,宣称美洲的玛雅文明中的玛雅历长达5,126年周期的结束,预言了地球、世界和人类社会在公
  • 白垩岩白垩,又名白土粉、白土子、白埴土、白善、白墡、白
  • 高雄硫酸亚厂高雄硫酸铔,简称高硫、KASC,是台湾一家已结束经营的肥料及化工产品制造公司。
  • 角动量在物理学中,角动量是与物体的位置矢量和动量相关的物理量。对于某惯性参考系的原点 O {\displaystyle \mathbf
  • 对联对联又称对子,对仗工整,平仄协调,是一字一音的汉文语言独特的艺术形式,是中国传统文化瑰宝。传到越南亦出现使用喃字的对联。从秦汉时起便有悬挂桃符的习惯,五代时开始在桃符上刻
  • 桑海帝国桑海帝国(Empire of Songhai)是15至16世纪时统治西萨赫勒地区的国家。桑海为西非历史上黑人原住民最后的帝国。7世纪时桑海人在登迪建立小王国,后迁至加奥,先后臣属于加纳帝国和
  • 畜牧业的巨大阴影畜牧业的巨大阴影:环境问题与选择是由联合国粮食及农业组织(FAO)在2006年11月29日所提出的报告书,其内容旨在全面评估畜牧业对于环境的冲击,并寻求技术上与政策上可能的减缓方
  • 哥伦布时代前的跨大洋接触哥伦布时代前的跨大洋接触是指公元前10000年前就定居在了美洲的那些美洲原住民们及其后裔和其他大陆(非洲、亚洲、欧洲及大洋洲)的人们之间,在1492年克里斯托弗·哥伦布抵达加
  • 日夜书《日夜书》,是中国作家韩少功的一部小说,2013年于《收获》杂志上连载,描述了一代知青的心灵史。同年出版单行本。2014年获红楼梦奖推荐奖。较之于《马桥词典》,本书的叙事是线性