SICP 1.2.4遇到问题，求解

Question

1.2.4中把linear recursive 变成linear iteration之后的程序，我不明白在count = 0 之前不会得出product的值。

也就是说interpreter一直要一直把（- count 1）带入到expt-inter中，这不是一种递归吗?

还有就是我不明白为什么迭代是Θ（1），不是Θ（3），Θ（7）什么的。

谢谢

Answer 1

回复 2# Lispor

    我认为Figure 1.3之所以会那样是因为normal-order evaluation的缘故

Answer 2

本帖最后由 Lispor 于 2010-12-08 08:20 编辑

interpreter一直要一直把（- count 1）带入到expt-inter中，这不是一种递归吗?

递归、迭代的定义请参考：图1-3， 1-4
interpreter把 (- count 1) 带入到expt-inter之前，已经对 ( - count 1) 进行求值了<参看scheme求值模型>,

我不明白为什么迭代是Θ（1），不是Θ（3），Θ（7）什么的

Θ（n）当n为常数时，写为Θ（1）,这个参考有关算法书籍