Изменения

Перейти к: навигация, поиск

Удаление длинных правил из грамматики

2 байта убрано, 00:39, 16 ноября 2014
м
Нет описания правки
*;<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>.
=== Корректность алгоритма ===
308
правок

Навигация