通用图灵机

✍ dations ◷ 2025-12-11 16:13:12 #艾伦图灵,图灵机

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

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

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

相关

  • 匕部,就汉字索引来说,是为部首之一,康熙字典214个部首中的第二十一个(两划的则为第十五个)。就中文而言,匕部归于两划部首。匕部通常是从右方为部字,且无其他部首可用者将部首归为
  • 路易斯安那路易斯安那州(法语:État de la Louisiane; 英语:State of Louisiana),简称路州,是美国的一个州,位于墨西哥湾沿岸。此州以对比强烈的文化、地理景观著名。如嘉年华会的狂欢和荒野
  • 臭虫床虱,俗称臭虫,是一种很小及难以捕捉的寄生昆虫,属于臭虫科(Cris),是半翅目异翅亚目臭虫下目臭虫总科的生物种类。臭虫有一对臭脚,能分泌一种异常臭液,此种臭液有防御天敌和促进交配
  • 乔治·麦戈文乔治·麦戈文(英语:George McGovern,1922年7月19日-2012年10月21日),美国历史学家、作家、曾任美国众议员、参议员。他是1972年美国总统大选民主党候选人,在此次选举当中,乔治·麦戈
  • 米高·亚瑟米高·亚瑟(Michael Arth,1953年4月27日-),是一位美国作家、艺术家、未来主义者、室内/环境/城市设计师。他妻子叫Maya。米高·亚瑟涉及的领域很广;从1970年代摇滚音乐会招贴,到传统
  • 鲁道夫一世鲁道夫·冯·哈布斯堡 (Rudolf von Habsburg,1218年5月1日-1291年7月15日,神圣罗马帝国皇帝及奥地利哈布斯堡王朝的奠基者,1273年10月24日于安亨教堂登基。鲁道夫一世是阿尔萨斯
  • 小米酒小米酒,(排湾语:kavava ),是东南亚地区常见的酒类,亦是有南岛语系血统的台湾原住民常见的传统酒精饮料,通常用在各祭典上,代表丰收的讯息。原料为小米(简称“粟”),为禾本科(或早熟禾科)
  • 黄崇雄黄崇雄(1943年4月6日-),笔名萧垄、萧郎,台南县将军乡人(现今的台南市将军区),曾在佳里国中、麻豆国中担任历史教师,现在已经退休。与黄劲连、羊子乔、陈艳秋、林佛儿等人同为重要的
  • 普通高等学校招生全国统一考试(上海卷)普通高等学校招生全国统一考试(上海卷)由中国大陆上海的参加普通高等学校招生全国统一考试(以下简称“上海高考”)的考生使用。2017年以后,上海市采用3+3的制度进行招生。考试科
  • 滨村弘一滨村弘一(1961年2月8日-),日本企业家、编辑,出生于大阪府。笔名滨村通信。滨村1985年从早稻田大学第一文学部毕业后,在JICC出版局(现宝岛社)担任电脑游戏编辑,后进入ASCII担任《Login