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 modelo matemático (más exactamente una estructura algebraica) compuesto por una serie de categorías sintácticas que se combinan entre sí por medio de unas reglas sintácticas que definen cómo se crea una categoría sintáctica por medio de otras o símbolos de la gramática. Existen varios tipos de gramáticas formales históricamente importantes:Los dos primeros tipos tienen puntos de conexión obvia con la noción de constituencia sintáctica y el análisis mediante árboles sintácticos. Sin embargo, los analizadores sintácticos para las oraciones formadas según ellas no pueden basarse en las reglas de generación (asimetría hablante-oyente), lo cual sugiere que no puedan ser buenos modelos de la intuición de los hablantes. Además los modelos de lengua natural basados en ellas parecen tener una complejidad polinómica o exponencial, lo cual no parece avenirse con la velocidad con que los hablantes procesan las lenguas naturales. En cambio las A-gramáticas en general tienen complejidad lineal, simetría entre hablantes y oyentes, sin embargo, ignoran los constituyentes clásicos del análisis sintáctico. Sin embargo, siguen siendo usadas para los analizadores sintácticos usados en computación.