Изменения

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

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

1 байт добавлено, 23:35, 26 октября 2011
Нет описания правки
<tex>\ldots </tex> <br>
<tex>B_{k-2} \rightarrow a_{k-1}a_{k}</tex> <br>
Удалим из грамматики правило <tex>A \rightarrow a_1 a_2 \ldots a_k</tex>. Проделаем описанную операцию с каждым длинным правилом в <tex>\Gamma</tex>.
== Пример работы ==
69
правок

Навигация