《大学计算机基础》课件+第1章——自学完整版(2014_10_9)【OK】.pptx

大学计算机基础—第1章自学版北京航空航天大学计算机学院计算机与计算思维（4学时）求解效率，优化和限制（4学时）第1章第5章第2章第6章问题的求解，算法及实现 （4学时）第4章问题的描述，数据及数据结构（6学时）求解的工程思维，规范 （2学时）第7章第3章课程目录问题的抽象与建模 （4学时）求解显示，交互（2学时）第1章 计算机与计算思维 1.1 从图灵测试看思维 1.2 理论思维，实验思维和计算思维 1.3 为什么计算机能够计算 1.4 计算机的理论模型与物理实现 1.5 计算思维主要思维方法的案例 1.6 计算机模型与计算思维（自学）本课件说明说明：本课件为《大学计算机基础》第1章中关于计算机基础知识的详细课件供同学们自学和参考1.6 计算机模型与计算思维1.6.1 图灵机模型1.6.2 现代计算机模型1.6.3 计算机之逻辑基础1.6.4 信息在计算机中的表示1.6.5 现代计算机系统1.6.1 图灵机模型计算机之所以能够计算，或者具备智能，其思维类比于人脑：语言单元—神经元单元—数字及其编码语言的关系—神经元的链接—数据结构、数据关系思维—神经元网络的自动链接—数据的模型和算法感知和动作—肢体和器官—计算机的输入和输出我们如果能有一台机器，可以存储，可以运算，可以输入输出，那么，就可以具备计算的能力我们来看看这个抽象的过程-图灵机模型图灵其人图灵其人阿兰·麦席森·图灵（Alan Mathison Turing, 1912~1954)，出生于英国伦敦，19 岁入剑桥皇家学院，22 岁当选为皇家学会会员英国数学家、逻辑学家、密码学家，计算机逻辑的奠基者，提出了“图灵机（Turing Machine）”和“图灵测试”等重要概念1937 年，提出了图灵机模型，这是图灵对人类的最大贡献1950 年，发表了划时代的文章“机器能思考吗?”,成为了人工智能的开山之作被誉为“计算机科学之父”和“人工智能之父”计算机界于1966年设立了最高荣誉奖：ACM图灵奖图灵机缘起什么是计算？ 一个问题：1900年，德国数学家希尔伯特提出“23个数学难题”中，逻辑的完备性问题，即是否所有数学问题原则上都可解一篇文章：1937年，图灵发表“论可计算数及其在判定问题中的应用”(On Computable Numbers With an Application to the Entscheidungs Problem)图灵给“可计算性”下了一个严格的数学定义，并提出著名的“图灵机”的设想——可解的问题是能够用图灵机的自动机理论模型表达的问题一个大神：图灵，1912-1954一个模型：可计算模型图灵机模型图灵的基本思想是用机器来模拟人们用纸笔进行数学计算的过程 （１）根据计算需求在纸上写下相应的公式或符号； （2）根据眼睛看到的符号，在脑中思考相应的计算方法； （3）在纸上写上或擦除某个符号； （4）把视线从纸的一个位置移动到另一个位置； （5）转到第（2）步，重复以上步骤，直到认为计算停止为止在每个阶段，人要决定下一步的动作，依赖于（a）人当前所关注的纸上某个位置的符号（b）人当前思维的状态为了模拟人的这种数学计算过程，图灵构造出一台假想的机器——图灵机带（tape）带符（tape symbol）单元格（cell）图灵机模型的组成图灵机模型由3个部件组成无穷纸带（符号集合）两端可无限延长，纸带被分为一系列均匀的方格，每个方格中可填写一个来自有限字母表的符号读写头（读、改写、左移、右移）有穷控制器（有限状态机）拥有预定的有限个互不相同的状态，并能根据输入改变自身的状态；可控制读写头工作有穷控制器Finite controller读写头...XXXXBB12in图灵机模型是如何抽象的？图灵机模型是如何抽象的？将所有具体的输入、输出、转换细节抛弃，定义一个五元组图灵机是一个五元组（K，∑，δ，s，H），其中：K 是有穷（有限）个状态的集合； ∑ 是字母表，即符号的集合； s ∈K，是初始状态；H∈K ，是停机状态的集合，当控制器内部状态为停机状态时图灵机结束计算； δ是转移函数，即控制器的规则集合。图灵机的工作原理：计算“x+1”的图灵机图灵机的工作原理图灵机的计算：由控制器控制执行的一系列动作图灵机从纸带上的某个起始点出发，动作完全由初始状态和指令组决定其计算结果是从图灵机停止时纸带上的信息得到的【例1】计算“x+1”的图灵机目标：利用二进制设计一个专门计算“x+1”的图灵机，要求计算完成时，读写头回归原位x由0、1串组成，“*”为x的分隔符、界定符（当纸带上有多个数时，用*将它们隔开） 计算“x+1”的图灵机—首先进行抽象确定图灵机五元组的内容状态集合K： {start，add，carr