经过第一次课的预习和这次课上老师的讲解,结合所查资料对图灵机有以下认识:
图灵机
名称:图灵机,又称图灵计算、图灵计算机。
创始人:数学家阿兰·麦席森·图灵(1912~1954)提出
含义:是一种抽象计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。
组成:①一条无限长的纸带:被划分为一个个的小格子(按0,1,2....编号),每个格子包含一个来自有限字母表的符号,纸带可以左右无限伸展。
②一个读写头:可在纸带上自由移动,读出当前格子中的符号
③一个控制器:
控制规则集合:根据当前机器的状态以及读取的符号确定读写头的下一步动作,并改变状态寄存器的值
状态寄存器:保存图灵机当前所处的状态。(状态数目是有限的,有一个特殊状态--停机状态)
基本思想:用机器来模拟人们用纸笔进行数学运算的过程(①在纸上写上或擦除某个符号②把注意力从纸的一个位置移动到另一个位置)
工作原理:在每个时刻,读写头头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。
★停机问题:是目前逻辑数学的焦点,第三次数学危机的解决方案。具体内容参考:https://baike.so.com/doc/5960496-6173444.html
等价机器