通用图灵机

✍ dations ◷ 2025-10-12 18:49:08 #艾伦图灵,图灵机

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

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

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

相关

  • 实习医师实习医师是一个医学相关的专业术语,在某些国家或地区是指几乎完成或已经完成医学院学业并拥有医学学位(英语:Medical degree),但尚未获得授权于没有监督的情况下独立执业的受训医
  • 鲁诗《诗经》是中国最早的诗歌总集,收录自西周初年至春秋中叶(约前11世纪-前6世纪)的诗歌305篇(除此之外还有6篇有题目无内容,即有目无辞,称为笙诗六篇,题目分别是南陔、白华、华黍、由
  • 篡位篡位是一个贬义词,即不合法或有争议地取得王位(皇位)。包括杀害上任皇帝或太子,通过废立,逼迫上现任皇帝或君主交出皇位,以获得权力。在非君主制语境下,亦可泛指非法谋夺更高权力
  • 多极神经元多极神经元是神经元的一种,负责支配多个树突和单一(通常且长)的轴突,容许来自其他神经元的大量信息的综合。其树突分支也可从细胞体出现。多极神经元也指派脑中的多数神经元。Ne
  • 阿马多尔阿马多尔县(Amador County)是美国一个位于加利福尼亚州内华达山脉的县,县治为杰克逊。根据美国人口调查局2010年统计,共有人口38091,其中白人占85.79%、非裔美国人占3.87%、印第
  • 商丘师范学院商丘师范学院位于中华人民共和国河南省商丘市,2000年经中华人民共和国教育部批准,由商丘师专、商丘师范学校和商丘教育学院合并建立的一所省属本科院校。
  • 刘克襄刘克襄(1957年1月8日-),台湾台中县乌日人,本名刘资愧,台湾作家、自然观察解说员,中国文化大学新闻系毕业,外号“鸟人”。刘克襄从事自然观察、历史旅行与旧路探勘十余年。至今出版诗
  • De jure按照法律的(法语:de jure,拉丁语:de iure),是拉丁语中的法律用语,意思是:“按照法律的”、“法理上”、“原则上”或“名义上”,与(事实上)相对。此用语用来表达法律上规定的情况,尤其是
  • 吉绍尔甘杰乌帕齐拉吉绍雷甘杰乌帕齐拉(孟加拉语:কিশোরগঞ্জ,英语:Kishoreganj Upazila)是孟加拉国尼尔帕马里县的一个乌帕齐拉,位于朗布尔专区的尼尔帕马里县。。据1991年孟加拉国人口普查(
  • 劳卡劳卡(芬兰语:Laukaa)是芬兰中芬兰区的市镇,位于该国中南部,始建于1593年,面积826平方公里,该镇有129座湖泊,2013年人口18,478,人口密度为每平方公里28.49人。坐标:62°25′N 25°57′E