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
Las ES-gramáticas como la usada en los primeros modelos de gramática generativa requieren ciertas restricciones para ser computacionalmente tratables. Para entender esa restricción debe considerarse la interacción entre un hablante y un oyente, el primero genera una oración o secuencia de acuerdo con las reglas de la gramática, el segundo para entender dicha secuencia debe analizar la secuencia para entenderla, encontrando los elementos formantes, interpretándolos y reconstruyendo la relación hay entre ellos (estructura interna). Para que eso segundo sea posible se requiere que la estructura interna tenga una estructura suficientemente simple como poder analizar sintácticamente las secuencias con un bajo grado de ambigüedad. Pues bien computacionalmente se ha encontrado que la clase de complejidad frente al análisis inverso de ciertas gramáticas es excesiva. Para ES-gramáticas basadas en reglas de reescritura se tiene: Dentro del enfoque formalista y axiomático de las matemáticas se concibió que ciertas áreas de las matemáticas podían concebirse como un sistema lógico-deductivo de fórmulas sujetas a restricciones de manipulación. La gramática formal de esos sistemas sería el conjunto de reglas combinatorias acordes a ciertos principios deductivos.