Изменения

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

Навигация