Изменения

<tex>\forall\,j: 1 \le leqslant j \le leqslant n</tex> в списке <tex>D_j</tex> находится <tex>O(j)</tex> ситуаций.

Так как грамматика фиксирована, то <tex>\forall i</tex> количество ситуаций вида <tex>[A \rightarrow \alpha \cdot \beta, i]</tex> не больше некоторой константы. Таким образом, поскольку в <tex>D_j</tex> находятся ситуации, у которых <tex>0 \le leqslant i \le leqslant j</tex>, всего в <tex>D_j</tex> будет <tex>O(j)</tex> ситуаций.