Изменения
→Алгоритм для НФХ-грамматики
</tex>.
Будем динамически заполненять заполнять матрицу <tex>a_{A, i, j}</tex> следующим алгоритмом:
*'''База'''. Ячейки <tex>a_{A, i, i}</tex> заполняются истиной, если правило <tex>A \rightarrow w[i]</tex> принадлежит множеству правил <tex>P</tex> грамматики <tex>\Gamma</tex>:
