通用图灵机

✍ dations ◷ 2025-04-04 21:02:25 #艾伦图灵,图灵机

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

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

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

相关

  • 羊桥寨信仰佤族(佤文:Ba Rāog / si viex / Brāog / Vax Ba Rāog / Vāx qux (口语) / Vā (文学语),旧佤文:Praok / Va;中国标准罗马字母:Va)是亚洲的一个跨国民族,主要分布在澜沧江与萨尔温江
  • 素可泰王国泰国中部:泰国北部:泰国南部:素可泰王国(泰语:อาณาจักรสุโขทัย,皇家转写:Anachak Sukhothai,泰语发音:),是泰国历史上的首个有史料可以查证的王国,存在于1238年至1438年
  • 安角坐标:66°10′S 51°22′E / 66.167°S 51.367°E / -66.167; 51.367安角是南极洲的岬角,位于东部南极地沿岸恩德比地,最高点海拔高度700米,该岬角在1929年12月由挪威探险队发现
  • 密苏里号坐标:21°21′44″N 157°57′12″W / 21.36222°N 157.95333°W / 21.36222; -157.95333密苏里号战列舰(英语:USS Missouri BB-63)是一艘隶属于美国海军的战列舰,为衣阿华级战列
  • 白虎通《白虎通》,古书名,又称《白虎通义》、《白虎通德论》,四卷。东汉汉章帝建初四年(79年)朝廷召开白虎观会议,由太常、将、大夫、博士、议郎、郎官及诸生、诸儒在白虎观(洛阳北宫)陈述
  • 超干燥贮藏超干燥贮藏是一种贮藏种子的方法:即将种子含水量降至5%以下,在室温或稍低温条件下保存。烟草种子在超干燥的状态下可保存超过25年。
  • 塔皮奥·黑基莱塔皮奥·黑基莱(芬兰语:Tapio Heikkilä;1990年8月4日-)是一位芬兰足球运动员。在场上的位置是后卫。他现在效力于芬兰足球超级联赛球队HJK赫尔辛基足球俱乐部。他也代表芬兰国家
  • 陈季冰陈季冰(1967年12月15日-),中华人民共和国记者、新闻评论家,上海市徐汇区人。陈季冰1990年7月在同济大学热能工程(英语:Thermal engineering)系获工学学士学位,1992年7月在复旦大学新
  • 诸侯会盟诸侯会盟指中国历史诸侯分封制度下,强大的诸侯召集其他诸侯开会并称霸的事情。诸侯会盟的发展,体现了礼制社会的兴盛与衰败,以及强大诸侯壮大的过程。 诸侯会盟早在五帝时期就
  • 美泉宫温室美泉宫温室(德语:Palmenhaus Schönbrunn)是位于奥地利首都维也纳美泉宫花园内的一座建筑。美泉宫温室开始使用于1882年,是美泉宫内四个温室中规模最大的一个。美泉宫温室也是世