图灵机 http://robolab.sjtu.edu.cn 冬1935年，英国科学家图灵开始研究数理逻辑。这是关 于人的思维数学化的研究，，也就是说用数学的方法 去研究人的思维过程，思维规律等.通过建立一套精 确的符号语言和演算系统去解决人如何推理的问题. 冬1936年发表划时代的论文：论可计算数及其在判定问 题中的应用 冬图灵的方案就是所谓的”图灵机”： ·有限状态控制器 读写头 纸带 有限状态控制器 q1 q2 q3 q4 q5 A T A B 反s鞋山图 灵 机 1935年,英国科学家图灵开始研究数理逻辑。这是关 于人的思维数学化的研究，也就是说用数学的方法 去研究人的思维过程,思维规律等.通过建立一套精 确的符号语言和演算系统去解决人如何推理的问题. 1936年发表划时代的论文:论可计算数及其在判定问 题中的应用. 图灵的方案就是所谓的”图灵机”:  有限状态控制器  读写头  纸带 … A T A B D 有限状态控制器 q1 q2 q3 q4 q5 15 http://robolab.sjtu.edu.cn RIR.SJTU