Fri May 17 17:20:16 EDT 2019
Ai <- A(i-1) + Bi
This notation abstracts the need to initialize the accumulator before
the loop starts.
Representing accumulators is important, so maybe it is possible to
A_i <- A_f(i) + B_i
There based on what A_f(i) is, we can implement it as a single
accumulator, a finite set of accumulators (a shift register), or a
So that is all fluff. Let's use i' as the previous index, with
Actually I don't have any way to use the two types of references:
previous accumulator value and final, after the loop.
A <- A Bi
Di <- A Ci
So it appears that accumulators need some special notation. To make
it work for triangle patterns, use the triangle notation.
Ai <- Ai1 Bi
Di <- AI Ci
Where I is the last element that was stored in the array in its