什么是图灵模型,什么是图灵机?

  图灵机是图灵理论中提出的理想模型,可以实现任意复杂的计算。

一、什么是图灵机?

  英国数学家艾伦·麦席森·图灵在1936年提出了“图灵机”的理论,图灵机设想有一条无限长的纸带,纸带上方有一个个方格,每个方格可以储存一个符号,纸带可以向左或者向右运动。



  图灵机可以做下面三个基本的操作:

  • 读取指针头指向的符号;
  • 修改方框中的字符;
  • 将纸带向左或者向右移动,以便修改其临近方格的值;

  下面我们通过一个小例子来简单理解图灵机是怎样进行计算的。这个例子比较简单,我们将在空白的纸带上打印1 1 0这三个数字。
  首先,我们向指针头指向的方框中写入数字1:



  接着,我们让纸带向左移动一个方框:



  现在,我们再将指针头指向的方框中写入数字1:

  接着,我们继续让纸带向左移动一个方框,并写入数字0:

  这样我们就完成了一个简单的图灵机操作。

二、用图灵机完成异或操作

  我们来尝试一个稍微复杂点的操作,我们尝试将1 1 0做一个异或操作,即将1 1 0变成0 0 1。要图灵机完成计算,就类似于向图灵机输入以下操作指令,这些指令组成了一个小程序。



  我们假设图灵机的纸带现在的状态是如下图所示:
  现在读取到的符号是0,按照操作指令,我们应该往方框写入1并向右移动一个方框:



  现在读取到的符号是1,按照操作指令,我们应该往方框中写入0并向右移动一个方框:

  类似地,现在读取到的符号是1,我们重复相同的操作。



  最后,我们读取到了一个空白字符,图灵机不做任何操作。

三、用图灵机完成任意复杂计算

  上面我们使用了图灵机成功完成了异或操作,理论上来讲我们也可以完成加法、减法、乘法、除法操作,只不过是实现的步骤(指令)复杂些而已。下面这个网站是一个图灵机的在线模拟器,其实现了一些基本运算,比如:加法、减法等,有兴趣的可以自己去试试看。
Online Turing Machine Simulator

四、图灵机的意义

让我们尝试这样的思考历程:

  • 我有许多很复杂的公式需要计算,如果自己一个人算的话时间会很久。
  • 思考:能不能有一个东西能帮我实现公式的计算,无论这个公式有多复杂?
  • 思考:我能不能设计一个模型来证实这个实行是可行的?(数学家最喜欢建模型来证明了~)
  • 思考:提出“图灵机”理论,任何计算都可以简化成固定的步骤,无论多复杂的计算都能实现了。
  • 某些动手能力强的数学家利用电子工程学知识将许多真空管组成了一套设备,实现了「图灵机」理论模型。
  • 随着电子工程的不断发展,原本庞大的计算机不断变小,慢慢地变成了今天的计算机。

  “图灵机”理论通过假设模型证明了任意复杂的计算都能通过一个个简单的操作完成,从而从理论上证明了「无限复杂计算」的可能性,直接给计算机的诞生提供了理论基础。
从这样的思考历程来看,图灵机的出现为计算机的诞生奠定了理论基础,这就是图灵机诞生的意义。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容