如图所示，代换模式揭示出一种先逐步展开而后收缩的形状，在展开的阶段里，这一计算过程构造起一个推迟进行的操作所形成的链条，收缩阶段表现为这些运算的实际执行。这种类型的计算过程由一个推迟执行的运算链条刻画，称为一个递归计算过程。
而上图，计算过程没有增长和收缩，所有的变量都是当前值，这样的过程称为迭代计算过程。
欧几里德算法：如果r是a除以b的余数，那么a和b的最大公约数和b和r的最大公约数相等。
Lame定理:如果欧几里德算法需要用K步计算出一对整数的GCD，那么这对数中较小的那个数必然大于或等于第K个斐波那契数。
我们利用这一定理，做出欧几里德算法的增长阶估计。令n是作为过程输入的两个数中较小的那个，如果计算过程需要k步，那么我们就一定有 。这样步数k的增长就是n的对数。这样，算法的增长就是 。
*如何计算步数：
原文：http://www.cnblogs.com/wusong88/p/4715410.html