sicp 1.10

Ackermann函数：

 

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

 

(A 1 10): 1024

(A 2 4): 65536

(A 3 3): 65536

 

下面3个过程：

 

(define (f n) (A 0 n))
(define (g n) (A 1 n))
(define (h n) (A 2 n))

 

分别表示：

(f n): 2n

(g n): 2^n

(h n): 2^2^2^...^2(一共n个2)