Posted on 2007-10-08 14:55
dennis 阅读(379)
评论(0) 编辑 收藏 所属分类:
计算机科学与基础
引入了赋值之后，代换模型失效，3.2小节引入了环境模型。3.9题用于考察对环境模型的理解。递归版本的(factorial 6)的环境结构如下图：
blogjava不允许太长的图片，省略了n=3,2,1的三个frame，这些frame的关联环境都是全局环境。
再看看迭代版本的(factorial 6)的环境结构，同样省去了部分迭代过程，当counter=7的时候迭代停止：
