黄历
解梦
艾伦图灵发表《论可计算数及其在判定问题上的应用》，提出图灵机模型
关键词：图灵机 阿兰图灵 计算机 白眼塘
图灵机（英语：Turing Machine，又称确定型图灵机）是英国数学家阿兰图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。# 图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：# 在纸上写上或擦除某个符号； # 把注意力从纸的一个位置移动到另一个位置； # 而在每个阶段，人要决定下一步的动作，依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。# 根据图灵机理论，一部具有最基本功能的计算机，应当能够完成任何其它计算机能做的事情。因此，只要不考虑时间和存储因素，从个人数码助理（PDA）到超级计算机都应该可以完成同样的作业。即是说，即使是设计完全相同的计算机，只要经过相应改装，就应该可以被用于从公司薪金管理到无人驾驶飞船操控在内的各种任务。
