-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexercise-5.4.rkt
44 lines (41 loc) · 1.01 KB
/
exercise-5.4.rkt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
;; Exercise 5.4
;; a. Recursive Exponentiation:
(define (expt b n)
(if (= n 0)
1
(* b (expt b (- n 1)))))
(controller
(assign continue (label expt-done))
expt-loop
(test (op =) (reg n) (const 0))
(branch (label base-case))
(save continue)
(assign n (op -) (reg n) (const 1))
(assign continue (label after-expt))
(goto (label expt-loop))
after-expt
(restore continue)
(assign val (op *) (reg b) (reg val))
(goto (reg continue))
base-case
(assign val (const 1))
(goto (reg continue))
expt-done)
;; b. Iterative Exponentiation:
(define (expt b n)
(define (expt-iter counter product)
(if (= counter 0)
product
(expt-iter (- counter 1)
(* b product))))
(expt-iter n 1))
(controller
(assign counter (reg n))
(assign product (const 1))
expt-iter-loop
(test (op =) (reg counter) (const 0))
(branch (label expt-iter-done))
(assign counter (op -) (reg counter) (const 1))
(assign product (op *) (reg b) (reg product))
(goto (label expt-iter-loop))
expt-iter-done)