Изменения

Пусть значения для всех нетерминалов, пар <tex>\lbrace \langle j', i' \rangle | j' - i' < m \rbrace</tex> и <tex>\lbrace k' | k' < k \rbrace</tex> уже вычислены, поэтому вспомогательная динамика: <tex> h\left[A \rightarrow \alpha, i, j+1, k\right] = \bigvee\limits_{r=i..j+1}\left(h\left[A \rightarrow \alpha, i, r, k-1\right] \wedge a\left[\alpha,r,j+1\right]\right)</tex>. То есть, подстроку <tex>w[i \dots j]</tex> можно вывести из префикса длины <tex>k</tex> правой части данного правила, если из префикса длины <tex>k-1</tex> правой части данного правила можно вывести <tex>w\left[i..j-1\right]</tex>, а подстрока <tex>w[r \dots j]</tex> выводится из правой части данного правила. Это вычисление может обратится к <tex>a\left[A,i,j+1\right]</tex>, но на результат это не повлияет, так как в данный момент <tex>a\left[A,i,j+1\right]=false</tex>.

* '''Завершение''':