5.2 函数的构造.pptVIP

  1. 1、本文档共42页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
PPT

例 f(x)=D(x) 可用原始递归表示如下: 其中,B=I21为函数的迭置。 例 f(x, y)= x ? y 可用原始递归表示如下: 其中,B=DI33为函数的迭置。 例(p72) min(x,y) 因为 min(x,y)=x · (x ? y), 又因为x ? y是原始递归函数, 由它迭置所得的函数仍为原始递归函数。 故min(x,y)为原始递归函数。 例 max(x,y) 试证明函数max(x,y)为原始递归函数. 证明: 因为 max(x,y)= x+(y · x) 且x+y 和 x · y为原始递归函数, 所以max(x,y) 是由原始递归函数x+y 和x · y 利用迭置而得。 根据原始递归函数的定义知, max(x,y)为原始递归函数。 例 x ?? y 证明: 因为 x ?? y = (x · y) +(y · x) 且x+y 和 x · y为原始递归函数,所以x ?? y是由原始递归函数x+y 和x · y 利用迭置而得。 根据原始递归函数的定义知, x ?? y为原始递归函数. 例 试证明下列函数为原始递归函数 证明: 其中 B = ×(f(SI21),I22), 也就是说 可用原始递归式表示, 所以 为原始递归函数。 例 Ca(x) 解: 显然,Ca(x)可以写成迭置的形式如下: Ca(x)=SaO(x) 故Ca(x)为原始递归函数。 另解:Ca(x)可用原始递归表示如下: 其中,B=I22为已知函数。 例 本原 函数 原始递归函数 +原始递归式 I(x) ? Imn(x1,…,xm) ? O(x) ? S(x) ? D(x) D(0)=0, D(x+1)=I21(x, D(x)) ? Nx F(0)=1, f(x+1)=OI21(x,f(x)) ? x+y f(x,0)=x, f(x,y+1)=SI33(x,y,f(x,y)) ? xy f(x,0)=0, f(x,y+1)=(I33+I31)(x,y,f(x,y) ? f(0)=g(0), f(n+1)=+(f(SI21),I22)(n,f(n)) ? f(0)=g(0), f(n+1)=×(f(SI21),I22)(n,f(n)) ? 本原 函数 原始递归函数 +迭置 原始递归函数 +原始递归式 x ? y f(x,y+1)=D(f(x,y))?? (x ? y) +(y ? x) ? max(x,y) x ? (x ? y) ? min(x,y) x +(y ? x) ? Ca(x) Ca(x)=SaO(x) ? Ca(x+1)=I22(x, Ca(x)) ? [ ] [x/y] rs(x,y) rs(x,2) ? dv(x,y) lm(x,y) x .. y 5.2 作业09 例: 设有函数S(x), 现构造函数Sy(x), 显然, Sy(x)在(x0,y0)的值与 Sy0-1(x0)、Sy0-2(x0)、…、S(x0)、x0 等y0个值有关, 而且y0随着变元组(x0,y0)的变化而变化, 所以Sy(x)不是由S(x)利用迭置法而得。 * 广义幺函数、零函数和后继函数称为本原函数 I31=x1 OI31=0 O=0 SOI31=0+1=1 SO=0+1=1 S(SOI31)=1+1=2 S(SO)=1+1=2 S(S(SOI31))=2+1=3 S(SO(SO))=2+1=3 I31=x1 OI31=0

文档评论(0)

1234554321 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档