ivaneeo's blog

自由的力量,自由的生活。

  BlogJava :: 首页 :: 联系 :: 聚合  :: 管理
  669 Posts :: 0 Stories :: 64 Comments :: 0 Trackbacks
Ackermann函数可用递推关系如下定义
    A(m,0)=A(m-1,0) m=1,2,…
    A(m,n)=A(m-1,A(m,n-1)) m=1,2,… n=1,2,…
  初始条件为
    A(0,n)=n+1,n=0,1,…

(define (A x y)
  (cond ((= y 0) 0)
        ((= x 0) (* 2 y))
        ((= y 1) 2)
        (else (A (- x 1)
                 (A x (- y 1))))))

posted on 2006-07-30 13:21 ivaneeo 阅读(655) 评论(0)  编辑  收藏 所属分类: scheme-语言之母

只有注册用户登录后才能发表评论。


网站导航: