Грамматика -- формальное описание языка с которого производится компиляция. Читать можно начать
отсюда.
Какие преимущества разработчикам могут обеспечить грамматики?
Грамматику можно преобразовать в парсер задаваемого ею языка. Классический пример программы выполняющей такое преобразование --
yacc.