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