308
правок
Изменения
м
Нет описания правки
*;<tex>B_2 \rightarrow a_3B_3</tex>
*;<tex>\ldots </tex>
*;<tex>B_{k-2} \rightarrow a_{k-1}a_{k}</tex>.
* Удалим из грамматики правило <tex>A \rightarrow a_1 a_2 \ldots a_k</tex>.
=== Корректность алгоритма ===
