Изменения

#Найти все цепные пары в грамматике <tex>\Gamma</tex>.

#Для каждой цепной пары <tex>(A,B)</tex> добавить в грамматику <tex>\Gamma'</tex> все правила вида <tex>A\rightarrow\alpha</tex>, где <tex>B\rightarrow\alpha</tex> {{---}} нецепное правило из <tex>\Gamma</tex>.

Найти все цепные пары можно по индукции: