第3章递归函数.ppt

  1. 1、本文档共66页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章递归函数.ppt

递归函数 李占山 计算机楼A338 zslizsli@163.com 假设有两个函数 y=f(x) z=g(x) 则由它们可构造出一新函数 y=f(g(x)) 我们说函数y=f(g(x))是复合算子作用于函数y=f(x)和z=g(x)的结果。 复合、递归与取极小算子 复合函数 定义3.1.1 假设有函数Y=f(Z1,Z2,…,Zm)和函数 Z1=g1(X1,X2,…,Xn) Z2=g2(X1,X2,…,Xn) : : Zm=gm(X1,X2,…,Xn) 若令(m元)函数h(Z1,Z2,…,Zm) =f(g1(X1,X2,…,Xn),…,gm(X1,X2,…,Xn)) 则h被称为函数f和g1,…,gm的复合函数。 定义3.1.2 设m(x1,x2,…,xn)和?(x1,x2,…,xn+2)是全函数。我们定义 m(x1,x2,…,xn) h(x1,x2,…,xn,0)= h(x1,x2,…,xn,t+1)= ?(x1,x2,…,xn,h(x1,x2,…,xn,t),t) 这时我们说h是递归算子作用于函数m和?的结果。 递归函数 取极小算子 定义3.1.3 设f(x1,x2,…,xn,z)为全函数,我们定义 h(x1,x2,…,xn)= {f(x1,x2,…,xn,z)=0}, 这时我们说函数h是取极小算子作用函数f的结果。 定义3.1.4 函数f(x1,x2,…,xn+1)被称为正则的,若对任何一组x1,x2,…,xn,都有z使 f(x1,x2,…,xn,z)=0 定义3.2.1 下列函数定义为初始函数: S(x)=x+1 n(x)=0 (x1,x2,…,xn)=xi后继函数零函数投影函数(1?i?n) 原始递归函数 例2.1.1计算Y=X+3 定义3.2.2 由初始函数 S(x),n(x), (1?i?n) 出发,只用复合和递归算子得到的函数称为原始递归函数。它们都是全函数。 1加法函数x+y 要说明它是原始递归的,只要表明它是由初始函数经复合和递归算子而得。 令add(x,y)=x+y 显然有 add(x,0)=x add(x,y+1)=add(x,y)+1 下面给出原始递归函数的例子 2乘法函数x?y 令mul(x,y)=x?y,则其递归式可写成如下: mul(x,0)=0 mul(x,y+1)=mul(x,y)+x=add( 令fac(x)=x!递归式如下: fac(0)=1 fac(x+1)=mul(fac(x),s(x)) 3阶乘函数x! 令exp(x,y)=xy。递归定义如下: exp(x,0)=1 exp(x,y+1)=mul(exp(x,y),x) 4 指数函数xy 若x?0,则p(x)=x-1,否则p(0)=0, 递归式如下: p(0)=0 p(x+1)=x 5 前驱函数P(x) 令sub(x,y)=x?y。x?y时,sub(x,y)取x-y, 否则取0。递归式如下: sub(x,0)=x sub(x,y+1)=p(sub(x,y)) 6点减函数x?y 由下式得证 ?x-y?=( x?y)+( y?x) 由于加法和点减也是原始递归的。函数都是原始递归的,因此?x-y?也是原始递归的。 7取绝对值函数?x-y? 函数?(x)的定义如下: 1,若x=0 ?(x)= 0,若x?0 因为?(x)=1?x,故它是原始递归函数。 8 ?函数?(x) 令h(x1,x2,?,xn,y)= , 则其递归式可写成如下: f(x1,x2,?,xn,0) h(x1,x2,?,xn,0)= h(x1,x2,?xn,y+1) =add(h(x1,x2,?,xn,y), f(x1,x2,?,xn,y+1)) 因此如果f(x1,x2,?,xn,t)是原始递归函数, 则h( x1,x2,?,xn,y)亦为原始递归函数。 9 n+1元求和函数 10 n+1元求积函数 若令g(x1,x2,?,xn,y)= , 则可写

文档评论(0)

youbika + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档