图来自灵机
1936年，阿兰·图灵提出了一种抽象的计算模型——图灵机(TuringMachine)。图灵的基本思想是用机器底红领小肥汽粉来模拟人们用纸笔进行数西晚其学运算的过程，他把这样的过程看作下列两种简单的动作可哥了去滑善收：
在纸上写上或擦除某个符号；
把注意力从纸的一个位置移动到另一个位置；
而在每个阶段，人要决行举止南雷并硫外定下一步的动作，依超克川均啊率火导土赖于(a)此人当前所关注的纸上某个位置的符号和(b)此人当前思维的状态。为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成：
一条无限长的纸带。纸带被划分为一个接一个的小格子，每个格子上包含一个来自有限字母表的符号，字母表中有一个特殊的符号表示空白。纸带上的格子从左到右依此被编号为0,1,2,...，纸带的右端可以无限伸展。
一个读写头。该读写头可以在纸带上左右移动，它能读出当前所指的格子上的符号，并能改变当前格子上的符号。
一个状态寄存器。它用来保存图灵机当前所处的状态。图360问答灵机的所有可能状态的数目是有限的，并且有一个特殊的状态，称为停机状态。
一套控制规则。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作，并改变状态寄存器的值，令机器进入一个新的状态。
注意这个机器的每身鲜含久一部分都是有限的，但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程
自动机
automata
对信号序列进行逻辑处理的装置。在自动控制领域内，是指离散数字系统的动态数学模型，可定义为一种逻辑结构，一种算法或一种符号串变换。自动机这一术语也广泛出现在许多其他相关的学科中，分别有不同的内容和研究目标。在计算机续得接顶少影封含科学中自动机用作计算机和计算过程的动态数学模型，用来研究计算机的体系结主逐往答较构、逻辑操作、程序设计乃至计算复杂性理沉案承论。在语言学中则把自动机作为语言位导阳易止书余尼纸练识别器，用来研究们上信般结带洋发各种形式语言。在神经生理学中把自动机定义为神经网为酒文流庆络的动态模型，用待移望车倍图升质制夫容来研究神经生理活动和思维规永理速般本斗集右路良验律，探索人脑的机制。在生物学中有人把自动机作为生命体的生长发育模型，研究新陈代谢和遗传变异。在数学中则用自动机定义可计算函数，研究各种算法。现代自动机的一个重守三较愿混口还理诗还要特点是能与外界交换信息，并根据交换得来的信息改变自己的动作，即改变自己的功能，甚至改变自己的结构，以适应外界的变化。也就是说伯在一定程度上具有类似于生命有机体那样的适批输话甲乙师乎剂派能让应环境变化的能力。
自动机与一般机器的重要区别在于自动机具有固定的内在状态，即具有记忆能力和识别判断能力或决策能力，这正是现代信息处理系统的共同特点。因此，自动机适宜于作为信息处理系统乃至一切信息系统的数学模型。自动机可按其变量集和函数的特性分类，也可按其抽象结构和联结方式分类。主要有：有限自动机和无限自动机、线性自动机和非线性自动机、确定型自动机和不确定型自动机、同步自动机和异步自动机、级联自动机和细胞自动机等。
参考资料：http://www.***.com/javaclass/ca.htm
标签：图灵机
