程序变换技术.ppt

第1页，共18页，星期日，2025年，2月5日1.引言递归程序的优缺点优点：比较符合人的思维习惯，结构紧凑简洁，容易理解。缺点：由于使用堆栈技术，要耗费较多的计算时间和存储空间。程序的等价变换：递归?迭代第2页，共18页，星期日，2025年，2月5日2.程序变换的思想程序变换的基本思想是把程序设计工作分成两个阶段进行：程序生成阶段和程序改进阶段。程序生成阶段 设计面向问题的、易于理解的、正确的函数型递归程序，不考虑效率。程序改进阶段 通过一系列变换规则，将程序转换成具体的面向过程且效率较高的程序。第3页，共18页，星期日，2025年，2月5日2.程序变换的思想程序变换的方法：即根据某些程序变换规则把一种程序变换成另一新的程序，这两个程序必须是等价的。如用Dijkstra的谓词转换器定义，则有程序P1和P2等价，当且仅当对任意谓词R满足：wp(P1,R)=wp(P2,R)程序变换可以看作是一种严格的数学演算，因此为了保证程序的正确性，只要对变换前的程序文本加以验证就行了，而变换后程序的正确性将由变换规则加以保证。第4页，共18页，星期日，2025年，2月5日3.程序变换的基本规则程序变换规则是在程序集合上的一个映射，每个变换规则一般仅对一类程序有定义，故可用程序模式的有序对来描述变换规则。当可用性条件B成立时，输入模式S1可用输出模式S2来代替。第5页，共18页，星期日，2025年，2月5日4基本的变换规则①.定义规则将谓词中的存在量词的每次呈现都用全称量词代替。②.取样规则容许代入参数的特定值，得到输入模式的一个样品。③.展开和封叠规则展开是将函数调用用相应的函数体来替代。封叠是展开的逆规则。④.用定律规则容许在程序变换中直接利用各种代数定律。⑤.抽象规则容许把函数体中的公共子表达式抽象为新的标识符。第6页，共18页，星期日，2025年，2月5日5.程序生成阶段思路：分析问题?制定形式规定?生成函数型递归程序。例1，计算自然数n的阶乘函数FAC(n)。 根据定义：FAC(n)≡thatz:z=n! 讨论：当n=1时，FAC(1)=1!=1 当n1时，FAC(n)=n*(n-1)!=n*FAC(n-1)递归程序为： FAC(n)≡ifn=1then1 elsen*FAC(n-1)第7页，共18页，星期日，2025年，2月5日5.程序生成阶段例2，计算两个自然数x和y的最大公约数的函数GCD(x,y)。 根据定义：GCD(x,y)≡thatz:max{u,u|x∧u|y} 讨论：当x=y时，GCD(x,y)=max{u,u|x∧u|y} =max{u,u|y}=y 当xy时，GCD(x,y)=max{u,u|x∧u|y} =max{u,u|x-y∧u|y}=GCD(x-y,y) 当xy时，GCD(x,y)=max{u,u|x∧u|y} =max{u,u|x∧u|y-x}=GCD(x,y-x) 递归程序为： GCD(x,y)≡ifx=ytheny elseifxythenGCD(x-y,y) elseGCD(x,y-x)第8页，共18页，星期日，2025年，2月5日5.程序生成阶段例3，计算正实数x的自然数幂的函数POW(x,n)。 根据定义：POW(x,n)≡thatz:z=x**n 讨论：当n=1时，POW(x,n)=POW(x,1)=x 当n1时，POW(x,n)=x**n=x**(n-1)*x =POW(x,n-1)*x 递归程序为：POW(x,n)≡ifn=1thenx elsePOW(x,n-1)*x第9页，共18页，星期日，2025年，2月5日5.程序生成阶段例4求实数型数组(x1,x2,…xn)的最大元素的函数MAX(x1,x2,…xn)。 把实型数组(x1,x2,…xn)看成是一个由实数组成的表L。 讨论：当L表只有一个元素时，CDR(L)=NIL， MAX(L)=CAR(L)。 当L表包含两个以上元素时，假定已求出MAX(CDR(L))，则： ①当CAR(L)MAX(CDR(L)),MAX(L)=CAR(L)； ②当CAR(L)≤MAX(CDR(L)),MAX(L)=MAX(CDR(L))。 递归程序为： MAX(