Gcd and orders of evaluation
The process that a procedure generates is of course dependent on the rules used by the interpreter. As an example, consider the iterative
gcd
procedure given above. Suppose we were to interpret this procedure using normal-order evaluation, as discussed in section 1.1.5. (The normal-order-evaluation rule for
if
is described in exercise
1.5
.) Using the substitution method (for normal order), illustrate the process generated in evaluating
(gcd 206 40)
and indicate the remainder operations that are actually performed. How many
remainder
operations are actually performed in the normal-order evaluation of
(gcd 206 40)
? In the applicative-order evaluation?