图灵机是一种数学自动机器(图灵机是一台假想的机器是一种抽象计算模型)
大家好,今天小六子来为大家解答以下的问题,关于图灵机是一种数学自动机器,图灵机是一台假想的机器是一种抽象计算模型这个很多人还不知道,现在让我们一起来看看吧!
1、图灵机,又称图灵计算、图灵计算机,是由数学家阿兰·麦席森·图灵(1912~1954)提出的一种抽象计算模型,思想就是:将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。
2、他把这样的过程看作下列两种简单的动作:在纸上写上或擦除某个符号;把注意力从纸的一个位置移动到另一个位置;而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。
3、为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:1.一条无限长的纸带 TAPE。
4、纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 表示空白。
5、纸带上的格子从左到右依此被编号为 0,1,2,... ,纸带的右端可以无限伸展。
6、2.一个读写头 HEAD。
7、该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
8、3.一套控制规则 TABLE。
9、它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
10、4.一个状态寄存器。
11、它用来保存图灵机当前所处的状态。
12、图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
13、参见停机问题。
14、注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。
15、图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程……。
本文分享完毕,希望对你有所帮助。