通用图灵机

✍ dations ◷ 2025-08-03 23:07:33 #艾伦图灵,图灵机

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

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

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

相关

  • 讽刺性讽刺(英语:satire)是一种文学手法,用于暴露对象的矛盾或缺点。常采用夸张或反讽等方式,从而产生幽默的效果。当然拙劣模仿、作戏、毗邻、并置、并列、对比、类似、类推等也经常用
  • 冠状冠状沟,阴茎颈的俗称,是男性阴茎龟头下缘的一圈沟状构造。尿道海绵体前端膨大成龟头时,于龟头基部形成。为阴茎十分敏感的部位,此处性刺激可达性高潮并发生射精。冠状沟平时为阴
  • 加拿大宪法加拿大宪法由成文法、不成文惯例、习惯法组成。宪法规定了政府组成、公民权利等。加拿大宪法的组成现由1982年宪法法案52(2)章定义。加拿大宪法受英国、美国影响较大,采用美
  • 处决处决可以指:
  • 山西医科大学山西医科大学是位于中国山西省太原市的一所公立医科大学,主管部门为山西省教育厅。其前身为山西医学传习所,成立于1919年;1932年改名为私立山西川至医学专科学校,后并入国立山西
  • 欧阳儒秋欧阳儒秋(1918年-2007年12月27日),安徽萧县人,中国电影演员,译制片导演。因在电影《巴山夜雨》中扮演子弟兵母亲,而获得1981年第一届中国电影金鸡奖最佳男女配角奖。
  • 集市教堂 (汉诺威)坐标:52°22′18″N 9°44′6″E / 52.37167°N 9.73500°E / 52.37167; 9.73500集市教堂(德语:)是位于德国北部城市汉诺威的一座路德宗的教堂,也是汉诺威主要的路德宗教堂。教堂
  • 艾哈迈德沙·卡扎尔艾哈迈德沙·卡扎尔(波斯语:احمد شاه قاجار;英语:Ahmad Shah Qajar,1898年1月21日-1930年2月21日)是1909年7月16日至1925年10月31日在位的伊朗卡扎尔王朝沙阿,也是王朝
  • 新巴西新巴西可以指以下巴西市镇:
  • 喜多村英梨喜多村英梨(1987年8月16日-)是日本的女性声优、歌手。唱片公司为自主音乐制作dystopia record和ロッカンミュージック(日语:ロッカンミュージック)。身高157公分,血型A型。小时候是