码迷,mamicode.com
首页 > 编程语言 > 详细

Exercise 1.20 最大公约数算法

时间:2014-10-22 20:02:02      阅读:283      评论:0      收藏:0      [点我收藏+]

标签:des   io   os   ar   for   strong   sp   div   on   

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? 

 

采用Applicative-order

gcd(206, 40)

=gcd(40, 6)

=gcd(6,4)

=gcd(4,2)

=gcd(2,0)

共4次递归,因此,采用Applicative-order,Remainder函数被调用4次。

采用Normal-order

gcd(206, 40)

=gcd( 40, R(206,40)) //这里判断R(206,40)是否为零,有一次Remainder计算

=gcd(

          R(206,40),

          R(40, R(206,40))

  )//这里判断R(40, R(206,40))是否为零,有两次Remainder计算

=gcd(

  R(40, R(206, 40)),

      R(

            R(206,40),

            R(40, R(206, 40))

      )//判断是否为零,有4次Remainder计算

)

=gcd(

      R(

            R(206,40),

            R(40, R(206, 40))

      ),//返回结果,有4次计算

     R(

            R(40, R(206, 40)),

            R(

                R(206,40),

                R(40, R(206, 40))

            ),

     )//判断是否为零,有7次Remainder计算

)

总共有1+2+4+7=14次Remainder调用计算

Exercise 1.20 最大公约数算法

标签:des   io   os   ar   for   strong   sp   div   on   

原文地址:http://www.cnblogs.com/linghuaichong/p/4043868.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!