通用图灵机

✍ dations ◷ 2025-12-06 19:13:42 #艾伦图灵,图灵机

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

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

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

相关

  • 皮肤癌皮肤癌是一种生长在皮肤上的癌症,它是由异常的细胞发展而来,甚至有可能会侵犯扩散到身体不同部位。由于皮肤癌常常在表皮层中发展,肿瘤常常清晰可见,因此大部分时间,可以在早期发
  • 儿茶素儿茶素(英文:Catechin),又称茶单宁,儿茶酸,是茶叶中黄烷醇类(黄烷-3-醇)物质的总称,儿茶素是茶多酚中最重要的一种,约占茶多酚含量的75%到80%,也是茶的苦涩味的来源之一。儿茶素主要
  • 蟾蜍甾蟾蜍甾或蟾蜍羟酸内酯(英语:bufanolide)是一种甾体结构母核。许多种蟾蜍与绵枣儿属植物能产生其衍生物,常为强心苷的糖苷配基,通常具有毒性。
  • ʁ浊小舌擦音是辅音的一种,在一些口语中存在,汉语普通话无此音。国际音标中表示该音的符号是⟨ʁ⟩;而与之等价的X-SAMPA符号是⟨R⟩。在欧洲语言里面,该辅音是喉音R中的其中一种
  • 联合国人类环境宣言人类环境宣言(Declaration of the United Nations Conference on the Human Environment)也称为斯德哥尔摩宣言(Stockholm Declaration),是在1972年6月16日的联合国人类环境会议
  • 北周武帝保定:561年-565年 天和:566年-572年三月 建德:572年三月-578年三月周武帝宇文.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-
  • 百乐宫酒店百乐宫酒店(Bellagio)是位于美国内华达州天堂市赌城大道上的一间赌场酒店,由美高梅集团持有及营运。酒店设计的灵感取材自意大利贝拉焦的科木湖渡假村,以其优雅和舒适的环境为卖
  • 弗兰克·奈特弗兰克·H·奈特(Frank H. Netter,1906年4月25日-1991年9月17日)是一位美国外科医生、著名医学插图画家。出生于曼哈顿。1989年出版《人体解剖图谱》(),该书最终成为重要的解剖学
  • 傀儡牵姻缘《傀儡牵姻缘》是三立台湾台《戏说台湾》的连续剧,于2015年2月2日至2月13日播出,由俞昊翔、徐紫淇、吴帆、简家玮、等主演。每周一至五晚上7:30播出。傀儡尪仔杨状元动了凡心,却
  • 林正丰 林正丰(1982年12月26日-)为台湾的棒球投手之一,目前效力于义大犀牛队,生涯至目前为止多以后援为主。其于2004年8月30日之替代役选秀会上被统一狮队以第二轮选进,一年后以220万签