Обеспечить эквивалентное превращение грамматики с целью элиминации правил вида X → Y, где Y - нетерминальный символ.
Комментарии