图灵机——计算机的理论模型.ppt

图灵的贡献主要有两个：一是建立了图灵机，二是提出了图灵测试、阐述了机器智能的概念。图灵机的概念是现代可计算理论的基础。图灵证明，只有图灵机能解决的计算问题，实际计算机才能解决。 为纪念图灵对计算机科学的贡献，美国计算机协会（ACM）于1966年创立了图灵奖，每年奖给在计算机科学领域中作出贡献的研究人员。被誉为计算机业界和科学界的诺贝尔将。 图灵机就是一个最简单的计算机模型，图灵机将控制处理的规则用0 和1表述，将处理的信息及处理的结果也用0和1表达，处理即是对0和1的变换（可以用机械/电子系统实现）。 图灵与图灵机模型 英国科学家阿兰.图灵 （1912-1954） 图灵是现代计算机理论模型的提出者。 图灵的贡献主要有两个： 建立了图灵机模型 提出了图灵测试、阐述了机器智能的概念。 图灵证明，只有图灵机能解决的计算问题，实际计算机才能解决。 “图灵奖”是美国计算机协会于1966年设立的。 图灵机由一条无限长的纸带、读/写头及控制器构成。 什么是图灵机？ 控制器内包括控制规则表，它能够通过读/写头对纸带上的符号进行读或写，读写头可以在纸带上左右移动。 纸带分成了一个个的小方格，每个方格中可以记录机器字母表里的符号，如0或1等。 图灵机模型 机器的程序是五元组｛Si , X , Y , L(R或