Приведение КС-грамматики к нормальному виду

Для того, чтобы преобразовать произвольную КС-грамматику к приведенному виду.Описание синтаксиса языка дается исключительно средствами формальных грамматик.Описание синтаксиса в виде формальных грамматик является ее исходным текстом.Один и тот же синтаксис можно реализовать в виде множества формальных грамматик.Синтаксис преобразуется в формальную грамматику содержательно.Общим недостатком формальных языков является отрыв формальных грамматик от синтаксиса.Один из них использует порождающие грамматики.S) , если он не появляется ни в одной сентенциальной форме этой грамматики.Для грамматик, содержащих аннулирующие правила, справедливо следующее утверждение.Построенная совокупность правил образует множество правил искомой неукорачивающей грамматики.