Note that since edit decisions are based in part on (arbitrary) features of the target sequence, and since generation involves construction of the target sequence, it is not uncommon for a greedy generator to make edit decisions which are locally optimal, but which result several edits later in a partially constructed sequence in which no good edits are available.
the problem of generation does not correspond to a simple recurrence relation like Equation 1.