艾伦・图灵发表《论可计算数及其在判定问题上的应用》,提出图灵机模型 - 1936年5月28日
图灵机(英语:Turing Machine,又称确定型图灵机)是英国数学家阿兰・图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:
在纸上写上或擦除某个符号;
把注意力从纸的一个位置移动到另一个位置;
而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。
根据图灵机理论,一部具有最基本功能的计算机,应当能够完成任何其它计算机能做的事情。因此,只要不考虑时间和存储因素,从个人数码助理(PDA)到超级计算机都应该可以完成同样的作业。即是说,即使是设计完全相同的计算机,只要经过相应改装,就应该可以被用于从公司薪金管理到无人驾驶飞船操控在内的各种任务。
621年 武牢关之役,隋末起义领袖窦建德战败被俘
1140年 南宋词人辛弃疾诞辰
1351年 元末红巾起义
1858年 中俄签订《爱珲条约》
1901年 爱迪生发明镍铁电池
1902年 中国实验胚胎学的创始人之一童第周诞辰
1922年 澳门爆发捷成事件
1928年 克莱斯勒公司与道奇公司合并
1937年 张伯伦出任英国首相
1940年 比利时向纳粹投降
1942年 毛泽东发表《在延安文艺座谈会上的讲话》
1947年 刘、邓指挥豫北战役获胜
1964年 巴勒斯坦解放组织成立
1966年 中央文化革命小组成立
1971年 我国与奥地利建交
1972年 英国国王爱德华八世(即温莎公爵)逝世
1976年 美苏和平利用地下核爆炸条约签订
1976年 中国与苏里南共和国建交
1991年 北约调整军事战略
1994年 剧作家陈白尘逝世
1997年 美国商人琳达・芬奇驾机成功绕地球飞行
1998年 核物理研究开拓者赵忠尧教授逝世
2008年 尼泊尔宣布废除君主制,成立共和国
1967年 NBA出色三分射手格伦・莱斯出生