Prescriptivismo lingüístico
En una gramática normativa se establecen las reglas de uso de una lengua, pensadas para alguien que previamente ya sabe hablar esa lengua. Se fija o prescribe lo que se considera correcto y lo incorrecto. En síntesis, se dicta cómo se debe hablar y, sobre todo, escribir. En esta disciplina se supone codificación de las normas de uso. Generalmente se atribuye más valor a la lengua escrita que a la oral, y se prestigian y perpetúan las modalidades literarias y cultas. Según este modelo, entre las categorías lógicas y las gramaticales ocurre similitud o paralelismo. Un concepto opuesto es el de gramática descriptiva, relativa al uso real de una lengua.
Gramática formal
Una gramática formal es un conjunto de reglas para reescribir cadenas de caracteres, junto con un símbolo inicial desde el cual debe comenzar la reescritura. Por lo tanto, una gramática formal generalmente se piensa como una generadora de lenguajes. Sin embargo, a veces también puede ser usada como la base para un "reconocedor": una función que determina si una cadena cualquiera pertenece a un lenguaje o es gramaticalmente incorrecta.