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
En la definición clásica que dio Noam Chomsky en la década de 1950, una gramática formal de estructura sintagmática ("ES-gramática") es una cuádrupla "G" = ("N","T","S","P") donde: donde * es la clausura de Kleene. Esto es, cada regla de producción mapea de una cadena de símbolos a otra, donde la primera cadena contiene al menos un símbolo no terminal. En el caso de que la segunda cadena sea la cadena vacía, para evitar confusión se la denota con una notación especial (usualmente formula_22, formula_23 o formula_24).