Posted on 2007-10-08 14:55
dennis 閱讀(386)
評論(0) 編輯 收藏 所屬分類:
計算機科學與基礎
引入了賦值之后,代換模型失效,3.2小節引入了環境模型。3.9題用于考察對環境模型的理解。遞歸版本的(factorial 6)的環境結構如下圖:
blogjava不允許太長的圖片,省略了n=3,2,1的三個frame,這些frame的關聯環境都是全局環境。
再看看迭代版本的(factorial 6)的環境結構,同樣省去了部分迭代過程,當counter=7的時候迭代停止: