原标题:带你深入理解图灵机--什么是图灵机、图灵完备
我们知道图灵机首次提出在图灵的一篇论文《论数字计算在决断难题中的应用》中提出,原论文题目为《On Computable Numbers, with an Application to the Entscheidungsproblem》,英文好的同学可以从https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf这个链接中查看原版的论文内容。
一、图灵机的组成
网上有一张经典的图片来表达图灵机的构成,图如下:
图灵机的组成.png
这张图片什么意思?这么一个简单的机器/装置怎么会所有电子计算机的理论模型?
相信大家看到这张图后都有这样的疑问,下面笔者带来由浅入深去理解图灵机的组成。
图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,它运算过程看作下列两种简单的动作:
在纸上写上或擦除某个符号;
一个无限长的存储带,带子有一个个连续的存储格子组成,每个格子可以存储一个数字或符号
一个读写头,读写头可以在存储带上左右移动,并可以读、修改存储格上的数字或符号
停机状态
控制程序指令,指令可以根据当前状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作(左移还是右移),并改变状态存储器的值,令机器进入一个新的状态或