本章讨論可結合的二進制運算.可結合性使人可以重組相鄰的運算,基于這種重組能力可以得到一個計算二進制運算的幂的有效算法.規範性使我們可以用許多程式變換來優化這一算法.我們随後要利用該算法在對數時間裡計算各種線性遞歸,例如計算斐波那契數.