大学计算机基础（第2版）全套PPT课件.pptx

大学计算机基础第1章 引论主要内容课堂主要讲授内容：计算模型计算机中的信息表示自学习内容：基于计算机的问题求解过程计算机前沿技术一、计算模型1. 计算与可计算性计算机可以做什么？计算机不能够做什么？1）计算与计算科学计算按确定的、有限的规则和步骤，将输入转换为输出的过程。计算科学模型构建从客观现实中抽取、提炼必要的元素，并确定元素间关系数值分析数值近似算法的研究。在合理误差范围内，获取满足精度要求的近似结果。计算机实现利用计算机求解问题的方法——算法和程序设计算法计算机科学 ——主要研究计算理论、计算机及信息处理的学科计算机科学的核心 ——算法2）计算与可计算性可计算性理论（Computability Theory）研究哪些问题为可计算，哪些问题为不可计算。可计算性理论也称为算法理论可计算理论的中心课题是将算法精确化.计算与可计算性算法（Algorithm）：用于解决一类问题的、按照要求设计好的、有限的、确切的、无歧义的计算序列和步骤。算法的特征：有限性可执行性机械性和确定性输入相同，结果则相同终止性计算与可计算性不是所有问题都存在算法。算法可计算函数：能够在抽象计算机上编出程序计算出值的函数哥德尔(K.Godel）理论：一般递归函数都是算法可计算函数，反之亦然。Alan?Turing把计算归结为简单、基本、确定的操作动作，提出和设计了一种抽象自动机。并证明：该自动机能计算的函数是算法可计算函数，而自动机不能计算的函数则是不可计算的函数。2. 图灵模型图灵（Alan?Turing）的主要贡献提出利用某种机器实现逻辑代码的执行，以模拟人类的各种计算和逻辑思维过程。将计算归结为最基本和确定的操作。将计算与自动进行的机械操作联系在一起图灵机模型用机器来模拟人用纸笔进行数学运算的过程。组成：一条无限长的纸带Type一个读写头Head一套控制规则Table一个状态寄存器图灵机模型3个动作：改写当前格左移1格或右移1格。包含一组固定的状态和规则（程序）纸带带符单元格图灵机模型图灵机可以用一个五元组表示：M=（Q，Σ，δ，B，H）其中：Q：有穷个状态集合Σ：输入符合的集合δ：控制器规则集合B：初始状态。有B∈ QH： H∈ Q，是停机状态的集合。当控制器内部状态 为停机状态时，图灵机结束计算。图灵机的工作过程根据读写头内部程序的命令及内部状态进行纸带的读写和移动。在初始状态下，读写头位于输入的最左边单元上。每移动一次，图灵机将：改变状态下一状态可以是任何状态或与当前状态相同。在扫描的单元中写带符号。所写符号可以是任意带符号或与当前单元相同的符号。取代原符号。向左或向右移动带头。图灵机工作过程的通俗描述读写头从纸带上读出一个方格中的信息；根据内部的状态查规则表Table（程序）；确定输出动作——选择以下三个动作之一：向纸带上写信息；使读写头向前移动一个方格；使读写头向后移动一个方格。说明下一时刻内部状态的变化。图灵机示例设计计算“X+1”的图灵机，要求计算结束后读写头回到原位。设计该图灵机五元组的元素分别为：状态集合Q={Start，add，carry，noncarry，overflow，return，halt}输入符号集合Σ={0，1，*}初始状态B=Start 停机状态集合H={Halt}图灵机示例δ ：控制器规则的集合输入响应当前状态当前符号新符合读写头移动新状态Start**LeftAddAdd01LeftNoncarryAdd10LeftCarryAdd**RightHaltCarry01LeftNoncarryCarry10LeftCarryCarry*1LeftOverflowNoncarry 00LeftNoncarryNoncarry 11LeftNoncarryNoncarry **RightReturnoverflow0或1*RightReturnReturn 00RightReturnReturn 11RightReturnReturn **stayHalt图灵机示例设初始时，纸带上存储的内容为5，读写头指向起始位置。101**Start图灵机示例按照规则表，读写头向左移动一位，并进行“加”运算输入响应当前状态当前带符号新符号读写头移动新状态Start**LeftAdd101**101*Start*Add图灵机示例做加法，若当前方格中为内容为“1”，则使其变为“0”，然后读写头向左移动一位，并有进位。输 入响 应当前状态当前带符号新符号读写头移动新状态Start**LeftAddAdd10LeftCarry101**100**AddCarry图灵机示例若当前状态为“Carry”、方格中符号为“0”，则使其变为“1”，然后读写头向左移动一位，变为“无进位”状态。输 入响 应当前状态当前带符号新符号读写头移动新状态Sta