图灵机与计算问题

 自从20世纪30年代以来,图灵机、计算这些重要的概念在科学的天空中就一直闪烁着
无限的光彩。尤其是近年来量子计算机、生物计算机、DNA计算等领域的创新工作引起了
世人的广泛关注。我们不禁问这样的问题,国外究竟为什么能发明出这些各式各样的计算机
呢?这些意味着什么呢?其实这一切的源头都来源于计算理论。国内在介绍计算理论方面的
教材虽然有不少,但一般都比较深奥难懂。所以我觉得很有必要对这些内容进行科普。于是
尝试写下这么一篇文章,希望我的文章能够让你更加清楚、透彻的理解图灵机、计算等等一
些基本而重要的概念,并洞悉到这些概念的本质和深远涵义。
本篇文章大体上可以分成四部分:首先给大家讲一讲关于图灵、哥德尔等科学家的故事;
然后正式引入图灵机的概念,为了对这个概念有比较直观的理解,我采用了一个人工生命:
“小虫”的比喻来叙述。接下来,文章介绍了跟图灵机有关的概念:什么是模拟,什么是“万
能计算机”等等;最后是关于图灵停机问题的探讨,我个人认为很有可能未来对科学的重大
突破都来源于对图灵停机问题的深入理解。在行文过程中,我除了用自己的方式介绍一些现
有的基本概念之外(为了尽量表达得清楚明白,我不得不放弃理论论证的严格性),还探讨
了很多我认为别人没有探讨的问题,这些问题多是我自己的思考结果,而它们没有经过科学
的验证。在这部分内容上我都标上了*号,希望你能有选择的看待这些问题和观点。
一、故事
任何科学思想、科学概念的诞生都有它的背景,在背景中往往有很多迷人的故事。关于
计算理论可以追溯到1900年,当时著名的大数学家希尔伯特在世纪之交的数学家大会上给
国际数学界提出了著名的23个数学问题。其中第十问题是这样的:存在不存在一种有限的、
机械的步骤能够判断“丢番图方程”是否存在解?这里就提出来了有限的、机械的证明步骤
的问题,用今天的话说就是算法。但在当时,人们还不知道“算法”是什么。实际上,当时
数学领域中已经有很多问题都是跟“算法”密切相关的,因而,科学的 “算法” 定义呼之
欲出。之后到了30年代的时候,终于有两个人分别提出了精确定义算法的方法,一个人是
图灵,一个人是丘奇。而其中图灵提出来的图灵机模型直观形象,于是很快得到了大家的普
遍接受。
不知道你是否听说过图灵这个名字。可能有些人知道牛顿,知道爱因斯坦,甚至知道冯
诺依曼,但不知道图灵。然而图灵的贡献绝对不亚于这些科学大师。图灵最大的贡献就是把
算法这样一个基本的、深刻的概念用他的图灵机模型讲清楚了。正是因为图灵奠定的理论基
础,人们才有可能发明20世纪以来甚至是人类有史以来最伟大的发明:计算机。因此人们
称图灵为:计算机理论之父。
图灵生活的年代经历了第二次世界大战。在二战期间他曾经为英国政府效力成功破译了
德国的密码,因而为英国做出了突出贡献。其实也正是因为二战,英国政府才肯掏钱让图灵
制造最原始的计算机,当然这种计算机是专门用来破译密码用的,而不是我们现在用的通用
计算机。(有一部片子叫《密码迷情》英文名是《enigma》就是根据图灵当时破译德国密码
的故事改编的,大家有兴趣可以去找一找。)
图灵这个人很古怪,只喜欢自己一个人闷头研究,不喜欢与别人交流。并且据说他还是
一个同性恋者。要知道在当时的英国,同性恋行为可是大逆不道的。最后,在他事业刚刚达
到顶风的时候,他自杀了。为了纪念这个伟大的学者,计算机界设立了最高荣誉奖:ACM
图灵奖。

图灵机的产生一方面奠定了现代数字计算机的基础(要知道后来冯诺依曼就是根据图灵
的设想才设计出第一台计算机的)。另一方面,根据图灵机这一基本简洁的概念,我们还可
以看到可计算的极限是什么。也就是说实际上计算机的本领从原则上讲是有限制的。请注意,
这里说到计算机的极限并不是说它不能吃饭、扫地等硬件方面的极限,而是仅仅就从信息处
理这个角度,计算机也仍然存在着极限。这就是图灵机的停机问题。这个问题在图灵看来更
加重要,在他当年的论文中,其实他是为了论证图灵停机问题才“捎带手”提出了图灵机模
型的。
提到了图灵停机问题,我不禁又要提一提哥德尔定理、罗素悖论、康托尔的集合论等
等一系列大事儿。早在19世纪末的时候,康托尔为集合论做了奠基性的研究。要知道,数
学虽然五花八门,但是人们发现,运用集合这个概念可以概括所有的数学,也就是说集合是
一切数学的基础。因而如果为集合论奠定了公理化的基础,也就等于为数学奠定了基础。康
托尔就是做了这方面的贡献。另外,他为了证明实数的个数比自然数多这个结论,发明了一
种被称为“对角线删除”的证明方法。没想到的是,这个方法影响非常深广,直到后来的图
灵停机问题、哥德尔定理其实都是该方法的不同延伸。
19世纪末的人们忙于为基于集合论的数学建立公理体系大厦。然而就当这座大厦即将
完工的时候,一件可怕的事情发生了,罗素提出来的罗素悖论粉碎了数学家的梦想。关于罗
素悖论的一个通俗化版本是:“村子里有一个理发师,他给自己定了一条规矩:‘不给那些所
有给自己理发的人理发’。现在就要问,这个理发师该不该给自己理发?”。如果你尝试回答
这个问题就会发现奇怪的事情:这个问题本身似乎是不可能的!正是因为这种奇怪的逻辑,
哲学家罗素才颠覆了整个数学大厦的基础!
因为集合论中存在着矛盾,所以整个数学体系存在着根本性的矛盾,然而具有讽刺意
味的是,数学一直以严格著称!这种感觉就好像正当你得意洋洋的时候有人突然闪了你一个
耳光!人们在一阵慌乱之后开始逐渐稳下阵角寻找避免罗素悖论产生的方法,并总希望通过
细心的选择数学公理能够将类似罗素悖论这样的怪物一劳永逸的排除精确数学体系之外。这
就是后来希尔伯特提出来一套数学纲领的原因,他希望找到一套公理体系能够排除悖论,并
挽救纯粹而美丽无暇的数学。虽然希尔伯特没能完成他的梦想,但他坚信梦想是对的。
然而,没过多少年,一个名不见经传的年轻逻辑学家哥德尔提出来的定理却彻底粉碎
了希尔伯特的梦。这就是后来著名的哥德尔定理!该定理大致上说:任何一个数学的公理化
体系都不是“完美的”。换个角度说,任何数学公理化系统都是死的,它总需要人为地从外
界注入新的公理进去才能让它日趋完善,而它自己并不能完全自动避免矛盾产生。哥德尔定
理可以说整个扭转了人们的世界观。因为被认为最“完美”最“纯粹”的数学都是不完全的,
那么纯粹完美的世界也应该不存在。哥德尔定理还指出了“理性”和“分析”方法的极限。
这才是后来人们步入到了“综合”时代的部分原因。更有趣的是,哥德尔用来证明他定理的
方法正和康托尔证明实数比自然数多、图灵停机问题以及罗素悖论的方法是一脉相承的。
所有这些都是20世纪上半个世纪发生的大事,后来发生了什么?计算机出现了、信息
时代来临了,似乎科学技术是万能的,它们总会改善我们的生活,满足我们的欲望。渐渐的,
人们似乎淡忘了图灵、歌德尔、康托尔等等大师们的思想了。然而近年来随着复杂性科学的
研究,人们却又有了重拾这些相对古老而根本问题的迹象了!
二、图灵机
下面言归正传,我们开始讲图灵机的概念。我先把图灵机的模型给你,虽然有些无趣,
不过请坚持看下去,我会在下面运用大家比较好理解的形式重新解释的。在这里你仅仅需要
认识它的轮廓。一个图灵机是形如下面的一个装置:

.ü..?..?..?..?..?..


这个装置由下面几个部分组成:一个无限长的纸带,一个读写头。(中间那个大盒子),
内部状态(盒子上的方块,比如A,B,E,H),另外,还有一个程序对这个盒子进行控制。这
个装置就是根据程序的命令以及它的内部状态进行磁带的读写、移动。
它工作的时候是这样的:从读写头在纸带上读出一个方格的信息,并且根据它当前的内
部状态开始对程序进行查表,然后得出一个输出动作,也就是是否往纸带上写信息,还是移
动读写头到下一个方格。程序也会告诉它下一时刻内部状态转移到哪一个。
具体的程序就是一个列表,也叫做规则表,是这样的:
当前内部状态s 输入数值i 输出动作o 下一时刻的内部状态s'
B 1 前移 C
A 0 往纸带上写1 B
C 0 后移 A
… … … …
因此,图灵机只要根据每一时刻读写头读到的信息和当前的内部状态进行查表就可以确
定它下一时刻的内部状态和输出动作了。
图灵机就是这么简单!不可思议吧?而只要你变化它的程序(也就是上面的规则表),
那么它就可能为你做任何计算机能够完成的工作。因此可以说,图灵机就是一个最简单的计
算机模型!
也许,你会觉得图灵机模型太简单,怎么可能完成计算机的复杂任务呢?问题的关键是
如何理解这个模型。

三、如何理解图灵机?

1、小虫的比喻

我们不妨考虑这样一个问题。假设一个小虫在地上爬,那么我们应该怎样从小虫信息
处理的角度来建立它的模型?
首先,我们需要对小虫所在的环境进行建模。我们不妨就假设小虫所处的世界是一个无
限长的纸带,这个纸带上被分成了若干小的方格,而每个方格都仅仅只有黑和白两种颜色。
很显然,这个小虫要有眼睛或者鼻子或者耳朵等等感觉器官来获得世界的信息,我们不妨把
模型简化,假设它仅仅具有一个感觉器官:眼睛,而且它的视力短得可怜,也就是说它仅仅
能够感受到它所处的方格的颜色。因而这个方格所在的位置的黑色或者白色的信息就是小虫
的输入信息。
另外,我们当然还需要为小虫建立输出装置,也就是说它能够动起来。我们仍然考虑最
简单的情况:小虫的输出动作就是往纸带上前爬一个方格或者后退一个方格。
仅仅有了输入装置以及输出装置,小虫还不能动起来,原因很简单,它并不知道该怎样
在各种情况下选择它的输出动作。于是我们就需要给它指定行动的规则,这就是程序!假设
我们记小虫的输入信息集合为I={黑色,白色},它的输出可能行动的集合就是:O={前移,
后移},那么程序就是要告诉它在给定了输入比如黑色情况下,它应该选择什么输出。因而,
一个程序就是一个从I集合到O集合的映射。我们也可以用列表的方式来表示程序,比如:
程序1:
输入 输出
黑色 前移
白色 后移
这个程序非常简单,它告诉小虫当读到一个黑色方格的时候就往前走一个方格,当读到
一个白色方格的时候就后退一个格。
我们不妨假设,小虫所处的世界的一个片断是:黑黑黑白白黑白……,小虫从左端开
始。
那么小虫读到这个片断会怎样行动呢?它先读到黑色,然后根据程序前移一个方格,
于是就会得到另外一个黑色信息,这个时候它会根据程序再次前移一个方格,仍然是黑色,
再前移,这个时候就读到白色方格了,根据程序它应该后退一个格,这个时候输入就是黑色
了,前移,白色,后移……,可以预见小虫会无限的循环下去。
然而,现实世界中的小虫肯定不会这样傻的在那里无限循环下去。我们还需要改进这个
最简单的模型。首先,我们知道小虫除了可以机械地在世界上移动以外,还会对世界本身造
文本框: ……文本框: 开始
成影响,因而改变这个世界。比如虫子看到旁边有食物,它就会把那个东西吃掉了。在我们
这个模型中,也就相当于我们必须假设小虫可以改写纸带上的信息。因而,小虫可能的输出
动作集合就变成了:O={前移,后移,涂黑,涂白}。这个时候,我们可以把程序1改为比
如:
程序2:
输入 输出
黑 前移
白 涂黑
纸带是黑黑白白黑……,小虫会怎样行动呢?下面的图表示出了这个例子中每一步小虫
的位置(标有圆点的方格就是小虫的当前位置),以及纸带的状况。
开始:小虫在最左边的方格,根据程序的第一行,读入黑色应该前移。
第二步:仍然读入黑,根据程序的第一行,前移。
第三步:这个时候读入的是白色,根据程序的第二行,应该把这个方格涂黑,而没有其他的
动作。假设这张图上方格仍然没有涂黑,而在下一时刻才把它表示出来。
第四步:当前方格已经是黑色的,因此小虫读入黑色方格,前移。
第五步:读入白色,涂黑方格,原地不动。
第六步:当前的方格已经被涂黑,继续前移。
第七步:读入黑色,前移
小虫的动作还会持续下去……。我们看到,小虫将会不停的重复上面的动作不断往前走,
并会把所有的纸带涂黑。
显然,你还可以设计出其他的程序来,然而无论你的程序怎么复杂,也无论纸带子的情
文本框: ……文本框: ……文本框: ……文本框: ……文本框: ……文本框: ……文本框: ……
况如何,小虫的行为都会要么停留在一个方格上,要么朝一个方向永远运动下去,或者就是
在几个方格上来回打转。然而,无论怎样,小虫比起真实世界中的虫子来说,还有一个致命
的弱点:那就是如果你给它固定的输入信息,它都会给你固定的输出信息!因为我们知道程
序是固死的,因此,每当黑色信息输入的时候,无论如何它都仅仅前移一个方格,而不会做
出其他的反应。它似乎真的是机械的!
如果我们进一步更改小虫模型,那么它就会有所改进,至少在给定相同输入的情况下,小虫会有不同的输出情况

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值