== Удаление Задача удаления длинных правил из грамматики ==возникает при попытке ее приведения к [[нормальная форма Хомского|нормальной форме Хомского]].
Задача удаления длинных правил из грамматики возникает при попытке ее приведения к {{Определение|definition =Пусть <tex>\Gamma</tex> {{---}} [[нормальная форма ХомскогоКонтекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|нормальной форме Хомскогоконтекстно-свободная грамматика]].Правило <tex>A \rightarrow \beta </tex> называется '''длинным''' если <tex>|\beta| > 2</tex>}}
'''Постановка задачи.'''
