例如： 程序P: t:=x; x:=y; y:=t; 程序函数为：
{（(x,y,t),(y,x,x)）}
对于任意给定的X: (x,y,t) ,程序执行结果为 Y: (y,x,x)
程序函数表示形式：
有序对、数据赋值以及条件规则等形式
2 - 15
例如：[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 ∧ x>y z:=y} //条件规则的形式 (z:=min(x,y))//数据赋值的形式
L:=0
g1=
P L:=3
g3=
Q L:=4
g2=
e
L:=0
g4=
h
L:=1
2 - 24
…实例 实例
由gi组合成新结构程序
L:=2 P L= 1 L= 2 L:=1 L> 0 L=3 h L=4 I L:=3 e q L:=4 L:=1 L:=0 L:=0
问题：比较庞大，而且效率不高。 问题：比较庞大，而且效率不高。 解决办法：需要简化，特别是消除一些多余的对 的测试与赋值 的测试与赋值。 解决办法：需要简化，特别是消除一些多余的对L的测试与赋值。
基本程序所对应的程序函数… 基本程序所对应的程序函数
函数： [f]={(x,y)|y=f(x)}
g °F f(x)表示函数 的复合，即 g(f(x))
F G 序列： [f; g]={(x,y)|y=g ° f(x)} IF-THEN: [if-then]={(x,y)|p(x) →y=f(x)|¬p(x) →y=x}
结构化程序就是我们通常说得好结构的程序。 结构化程序就是我们通常说得好结构的程序。
