[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"knowledge-ed531882abad222a":3},{"id":4,"slug":5,"category":6,"categoryLabel":7,"title":8,"summary":9,"coverUrl":10,"publishDate":11,"shareUser":12,"rank":16,"lastSyncedAt":17,"contentHtml":18,"images":19,"sourceUrl":39},"6a33b798759fbb61a05370de","ed531882abad222a","math","数学","都听过图灵机，它的灵感来自哪儿？","图灵机与算盘之类的古老计算器有本质的区别：如果在控制器中输入不同的程序，它就能够处理不同的任务。这意味着，图灵机实际上是一种“通用计算机”。","https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774231573-0-ef507064.jpg","2018-06-11T11:33:53.423094+08:00",{"name":13,"label":14,"text":15},"柠橙小海","柠橙小海分享","来自柠橙小海分享",10,"2026-08-23T01:15:57.317Z","\u003Cdiv>\u003Cp>人类，从来都不缺计算工具。\u003C\u002Fp>\n\n\u003Cp>从中国的算筹、算盘，到西方帕斯卡、莱布尼兹等制造的计算器，这些古老的计算工具虽然能够进行加减乘除、乘方以及开方运算，在当时大大地加快了人们的运算速度,但与我们今天所理解的计算机相去甚远——这些古老的计算器，往往只能完成某一项特定任务；而今天，在计算机上只要点开不同的程序，就能完成各种不同的任务。\u003C\u002Fp>\n\n\u003Cp>这种能解决各式各样问题的计算机，都属于图灵机。\u003C\u002Fp>\n\n\u003Ch2>什么是图灵机？\u003C\u002Fh2>\n\n\u003Cp>图灵机是图灵在他24岁发表的论文（《论可计算数及其在判定问题中的应用》）中提出的一种\u003Cstrong>抽象模型\u003C\u002Fstrong>。这种当时只存在于想象中的机器由一个控制器、一个读写头和一根无限长的工作带组成的。纸带起着存储的作用；读写头能够读取纸带上的信息，以及将运算结果写进纸带；控制器则负责对搜集到的信息进行处理。\u003C\u002Fp>\n\n\u003Cp class=\"img-caption\">\u003Cimg alt=\"\" src=\"https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774231905-1-867dfb16.jpg\" style=\"height:480px; width:640px\">一个图灵机的示意装置。图片来源：GabrielF|wikipedia\u003C\u002Fp>\n\n\u003Cp>图灵机的结构看起来非常简单，但事实上，它与算盘之类的古老计算器有本质的区别：如果在控制器中输入不同的程序，它就能够处理不同的任务。这意味着，\u003Cstrong>图灵机实际上是一种\u003C\u002Fstrong>\u003Cstrong>“\u003C\u002Fstrong>\u003Cstrong>通用计算机\u003C\u002Fstrong>\u003Cstrong>”\u003C\u002Fstrong>。\u003C\u002Fp>\n\n\u003Cp>虽然图灵机因图灵而得名，但给予图灵灵感的却很可能是著名的“失败”发明家查尔斯·巴贝奇。\u003C\u002Fp>\n\n\u003Ch2>“失败”的发明家巴贝奇\u003C\u002Fh2>\n\n\u003Cp>查尔斯巴贝奇（1791－1871）对数学和机械都有着极高天赋，他在18岁时以优异的成绩考入剑桥大学。在大学期间，巴贝奇注意到了一个现象：当时欧洲的数学用表存在大量的错误。一项普查发现，在40本数表中，有3700个错误，而且大部分是由于手工计算和印刷造成的。这让巴贝奇难以接受，他认为如果能\u003Cstrong>用一台机器代替人工计算同时自动打印出数表\u003C\u002Fstrong>，那么这些问题就可以得到解决。而这台机器，就是著名的“\u003Cstrong>差分机\u003C\u002Fstrong>”。\u003C\u002Fp>\n\n\u003Cp class=\"img-caption\">\u003Cimg alt=\"\" src=\"https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232155-2-d0eddecf.jpg\" style=\"height:355px; width:300px\">图片来源：wikimedia\u003C\u002Fp>\n\n\u003Cp>当然，要制造这样一台机器需要巨大的资金来源，巴贝奇开始向政府寻求帮助。在政府看来，当时数学用表的错误确实给航运以及建筑业带来了极大的不便，如果巴贝奇的“差分机”能够成功，将会减少船只触礁以及房屋桥梁倒塌事故的发生，因此有意愿资助他。\u003C\u002Fp>\n\n\u003Cp>于是，在政府的支持下，巴贝奇完成了能够进行4级拆分的差分机。这台差分机的运算速度之快和错误率之低已经远远领先于当时手工计算水平。\u003C\u002Fp>\n\n\u003Cp>“差分机”的成功研制，让巴贝奇备受鼓舞。他打算继续研制精度更高、运算速度更快的“差分机2号”。也是在研制“差分机2号”的时候，巴贝奇开始构想另一种结构更简单，功能更全面的机器——\u003Cstrong>分析机\u003C\u002Fstrong>。“分析机”有一种被称为“孔卡”的结构，给“孔卡”编写不同的程序，就可以让分析机解决不同种类的问题。这一构想其实与图灵机的“控制器”异曲同工。\u003C\u002Fp>\n\n\u003Cp class=\"img-caption\">\u003Cimg alt=\"\" src=\"https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232416-3-1e72dea4.jpg\" style=\"height:612px; width:640px\">巴贝奇的分析机（部分测试版）。1833年，一位不满18岁的女孩被“分析机”的构想深深吸引（这个女孩便是历史上第一位程序员爱达，Ada Augusta Byron）。1842年，爱达热心地将一位意大利数学家发表的阐释巴贝奇分析机原理和性能的文章翻译成英文，并且在备注中，写下了一段程序，这段程序，被认为是第一段计算机程序。图片来源：Bruno Barral|Wikipedia\u003C\u002Fp>\n\n\u003Cp>可惜的是，巴贝奇输给了时代。巴贝奇的概念太过超前，以至于当时的人们无法验证他的猜想，也无法建造出他理想中的机器（直到二十世纪末，人们才按照巴贝奇的设计造出了“差分机2号”）。\u003C\u002Fp>\n\n\u003Cp>巴贝奇至死都没有见到“差分机2号”和“分析机”问世。而当时英国政府向巴贝奇资助的1.7万英镑，最终也打了水漂。这让不少人认为巴贝奇是个失败者，他的“分析机”构想也没有再引起人们的关注。\u003C\u002Fp>\n\n\u003Ch2>图灵机的诞生\u003C\u002Fh2>\n\n\u003Cp>直到近一个世纪后，大名鼎鼎的图灵提出了一种能模拟人类进行数学计算过程的机器，图灵称之为A-machine，也就是我们所熟知的\u003Cstrong>图灵机\u003C\u002Fstrong>。A-machine很大程度上模仿了人类处理问题的过程：它拥有一个类似于人眼和手的读写头能够读取信息以及输出信息；一条无限长的纸带，源源不断地提供信息以及供输出结果； 一个类似于我们大脑的控制器，能够根据问题不同，进行不同的处理。\u003C\u002Fp>\n\n\u003Cp>理论上来说，任何能够用数学解决的问题都能交由图灵机来处理，这一构想与巴贝奇所追求的“完全由机器来分析和处理问题”十分一致。图灵的学生以及合作者罗宾·甘迪，也发现了巴贝奇分析机的理论中有不少与图灵机理论异曲同工之处，因此推测分析机是图灵机的灵感来源。\u003C\u002Fp>\n\n\u003Cp class=\"img-caption\">\u003Cimg alt=\"\" src=\"https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232614-4-4bd375fc.jpg\" style=\"height:394px; width:292px\">阿兰·图灵。图片来源：turingarchive.org\u003C\u002Fp>\n\n\u003Cp>相较于巴贝奇，图灵是幸运的。他的理论在接下来的十几年时间里便得到了验证，并逐渐发展成为我们今天的计算机。\u003C\u002Fp>\n\n\u003Cp>自图灵机模型提出以来，至今已经历了八十年时间。\u003Cstrong>人们对图灵机模型进行拓展，诞生了一批改进版的图灵机\u003C\u002Fstrong>，如双向无限带图灵机、多头图灵机、非确定型图灵机、多维图灵机等。\u003Cstrong>但这些模型，仅是对运算速度等进行了提升，并没有提出超越图灵机的新模型\u003C\u002Fstrong>。超越图灵机的伟大构想，说不定已经在酝酿中。\u003C\u002Fp>\n\n\u003Cp>可以肯定的是，超越图灵机的全新计算机，必将给人工智能技术带来一次巨大的飞跃。（编辑：婉珺）\u003C\u002Fp>\u003C\u002Fdiv>",[20,23,27,31,35],{"sourceUrl":21,"localPath":22,"publicUrl":10},"https:\u002F\u002F1-im.guokr.com\u002FWHIkJFq_fWjB-THS7vnEgJ_n3fmyFWKYlWsleq5Xk9csAQAApwAAAEpQ.jpg","C:\\www\\images\\math\\20260618\\image-1781774231573-0-ef507064.jpg",{"sourceUrl":24,"localPath":25,"publicUrl":26},"https:\u002F\u002F3-im.guokr.com\u002FBMEAs1grAajCHZGzLdW-EERFLfZrlH0exHX_seORxwCgAwAAuAIAAEpQ.jpg?imageView2\u002F1\u002Fw\u002F555\u002Fh\u002F416","C:\\www\\images\\math\\20260618\\image-1781774231905-1-867dfb16.jpg","https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774231905-1-867dfb16.jpg",{"sourceUrl":28,"localPath":29,"publicUrl":30},"https:\u002F\u002F3-im.guokr.com\u002FTQsOInUN8cJh2nqIyXufsBB7PyzlnLCL8fDB0OQIGe4sAQAAYwEAAEpQ.jpg","C:\\www\\images\\math\\20260618\\image-1781774232155-2-d0eddecf.jpg","https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232155-2-d0eddecf.jpg",{"sourceUrl":32,"localPath":33,"publicUrl":34},"https:\u002F\u002F2-im.guokr.com\u002FV3-uVxmzoQAJWhi93kogPGYTgRPQvWrbunso4azR7QMsAgAAFAIAAEpQ.jpg?imageView2\u002F1\u002Fw\u002F555\u002Fh\u002F531","C:\\www\\images\\math\\20260618\\image-1781774232416-3-1e72dea4.jpg","https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232416-3-1e72dea4.jpg",{"sourceUrl":36,"localPath":37,"publicUrl":38},"https:\u002F\u002F2-im.guokr.com\u002FAqkCS0vuVfl6BmpSnn_nddDL2HjFzlwSUMeRG6AsceMkAQAAigEAAEpQ.jpg","C:\\www\\images\\math\\20260618\\image-1781774232614-4-4bd375fc.jpg","https:\u002F\u002Ffoxfom.com\u002Fimages\u002Fmath\u002F20260618\u002Fimage-1781774232614-4-4bd375fc.jpg","https:\u002F\u002Fwww.guokr.com\u002Farticle\u002F443009\u002F"]