第2章 结构化程序.pptVIP

主要内容 2.1 什么是结构化程序 流程图程序 正规程序 基本程序 结构化程序 2.2 结构化定理 程序函数 2.1 什么是结构化程序 流程图程序 正规程序 基本程序 结构化程序 面向过程与面向结构 面向过程 强调：问题处理的过程，即对软件进行功能分解，写成一个个函数调用。 优点：符合人们的思维习惯。 缺点：强调过程，忽视结构，所以易读性较差。 面向结构（结构化程序设计方法） 是“面向过程”方法的改进 方法： 优点：强调程序的结构性- 所以容易做到易读- 易懂. 该方法思路清晰 2.1.1 流程图程序 流程图是一个描述程序的控制流程和指令执行情况的有向图。 一个程序的流程图通常由下列3种结点组成: 函数结点 谓词结点 汇点 函数结点 Process Box 如果一个结点有一个入口线和一个出口线，称为函数结点。如下图所示，其中f是函数结点的名字。 谓词结点 Decision Box 如果一个结点有一个入口线和两个出口线，而且它不改变程序的数据项值，称为谓词结点。 汇点 Junction Box 如果一个结点有两个入口线和一个出口线，而且它不执行任何计算，称为汇点。 例子 例子 2.1.2 正规程序 一个流程图程序如果满足以下两个条件，称为正规程序： (1)??具有一个入口线和一个出口线 (2)?对每一个结点，都有一条从入口线到出口线的通路经过该点。 正规程序 正规程序 正规程序的抽象 一个正规程序可以抽象为一个函数结点。这个函数结点概括了该正规程序对数据进行运算和测试的总的作用。 正规子程序 一个正规程序的某些部分仍然是正规程序，把这些部分称为正规子程序。 例子 2.1.3 基本程序 例子 判断：下面的流程图程序是不是基本程序? 七种基本程序 基本程序 结构化程序 构造一个程序，并不需要使用所有7种基本结构。 2.1.4 结构化程序 为了构造一个流程图程序，可以只使用七种基本程序中的一部分，把从这七种基本程序中挑出的这部分叫做基本程序的基集合。 例如： {序列，if-then-else，while-do} {序列，if-then-else，do-until} 复合程序 反复应用基集合构造出来的程序称为基集合的复合程序。 构造方法：一个基本程序的函数结点用另外一个基本程序替换。 结构化程序 结构化程序 由基本程序的一个固定的基集合，构造出来的复合程序称为结构化程序。 判断：下述程序是否是结构化程序?(基集合为{序列，if-then-else，while-do}) 判断：下述程序是否是结构化程序?(基集合为{序列，if-then-else，while-do}) 2.2 结构化定理 结构化定理: 任意一个正规程序，都可以函数等价于一个由基集合{序列,if-then-else,while-do} 产生的结构化程序。 2.2.1 程序函数 任何一个正规程序可以定义程序初始状态与程序最终状态之间的函数，这个函数称为程序函数，记为[P]。 X：程序初始状态； Y：程序最终状态。且： 对于每一个初始的数据状态X，程序是终止的 对于每一个给定的X，值Y是唯一的 程序函数表示形式 有序对、条件规则、数据赋值等形式 例如：[if x ? y then z:=x else z:=y fi] 有序对：{((x,y,z),(x,y,min(x,y)))} 条件规则：{(x,y,z)|x ?y?z:=x ∨ xy?z:=y} 数据赋值：(z:=min(x,y)) 例子 写出下列程序的程序函数(x,y为整数) 1、[while x0 do x:=x-1 od] ={(x,min(0,x))}=(x:=min(0,x)) 2、[x:=x+y;y:=x-y] ={((x,y),(x+y,x))}=(x, y:=x+y,x) 3、[do x:=x+1 until xy od] ={((x,y),(max(x+1,y+1),y))}=(x:=max(x+1,y+1)) 基本程序所对应的程序函数 函数： [f]={(x,y)|y=f(x)} 序列： [f; g]={(x,y)|y=g ? f(x)} IF-THEN: [if-then]={(x,y)|p(x) →y=f(x) ∨ ?p(x) →y=x} IF-THEN-ELSE : [if-then-else]={(x,y)|p(x) →y=f(x) ∨ ?p(x) →y=g(x)}