通用图灵机

✍ dations ◷ 2025-11-29 07:53:24 #艾伦图灵,图灵机

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

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

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

相关

  • N02A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码N02(镇痛药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 劳伦斯县劳伦斯县(Laurens County, Georgia)是美国乔治亚州中南部的一个县。面积2,120平方公里。根据美国2000年人口普查,共有人口44,874人。2005年人口46,896人。县治都柏林(Dublin)。成
  • 觉悟法融牛头宗|弘忍东山宗 – 神秀北宗禅|惠能南宗禅 – 北荷泽宗|南洪州宗|南石头宗|保唐宗惠能系曹溪南宗 –悟,在佛教中与“迷”相对,是佛教徒的修行目的,指依佛陀所教导的真理修
  • 三官三官大帝,指的是道教中掌管天界(天府)、地界(地府)、水界(水府)三界之神天官、地官和水官,闽南语俗称“三界公”,客家话称为“三界爷”,又称“三元大帝”。三位神明掌握三界间的一切行
  • 调 (埃及法老)调是一位下埃及统治者,在巴勒莫石碑中被提及。由于考古学家没有发现其他证据,他可能是神话中的国王,甚至可能是完全虚构的统治者。
  • 平维衡平维衡(?-?),是平安时代中期的武将、平氏中的伊势平氏第一代当主,也是著名武将、公卿、政治家平清盛的五代祖,身份为从四位上下野守、伊势守、上野介、备前守、常陆介。平维衡的事迹
  • 尼古拉·特罗菲莫维奇·安德烈耶夫尼古拉·特罗菲莫维奇·安德烈耶夫(俄语:Николай Трофимович Андреев;1905年-1974年)是参加过苏德战争的苏联将领、苏军上校,拥有苏联英雄(1945年授予)称
  • 向智向智长老(巴利语:Nyanaponika Thera,1901年7月21日-1994年10月19日,又译向智上座),又称向智大长老(Nyanaponika Mahathera,又译向智尊者),俗名西格蒙德·芬尼格(德语:Siegmund Feniger),生
  • 刘镇刘镇,字雅居,福清万安里鳌江人。明朝政治人物。早年为诸生,博学能文,万历十一年癸未进士,授广西平乐府推官。当地有苗、瑶族仍未开化,械斗时有发生,刘镇在此凿山、置堡,兴学。又转刑
  • 苏弘祖苏弘祖,河南彰德府汤阴县人,清朝官员、进士出身。顺治三年,登进士。顺治五年,由山东右布政使,升任为陕西布政使司左布政使。顺治十一年,降为福建布政使司参政、福宁道,再升为都察院