Fonología 

La fonología estudia los fonemas o sistemas fónicos de la lengua.
La fonética estudia los sonidos del lenguaje y sus realizaciones concretas en el habla.

Los fonemas son las unidades distintivas fónicas mínimas que nos permiten diferenciar los significados de las palabras. Los fonemas no tienen significado léxico en sí mismos, pero sirven para diferenciar el significado de las palabras. Por ejemplo: la palabra mesa tiene un significado léxico. Esta palabra está formada por cuatro fonemas: m/e/s/a/. Si se cambia uno de esos fonemas, tenemos otra significación: m/i/s/a/, p/e/s/a/.

Los fonemas son sonidos ideales que están en la mente de los hablantes. Estos modelos ideales se materializan en lo que llamamos sonidos articulados

La gramática es el estudio de las reglas y principios que gobiernan el uso de las lenguas y la organización de las palabras dentro de unas oraciones y otro tipo de constituyentes sintácticos. También se denomina así al conjunto de reglas y principios que gobiernan el uso de una lengua concreta determinada; así, cada lengua tiene su propia gramática.

Etimología

El término gramática deriva del griego γραμματικῆ [τέχνη] (grammatikḗ tékhne), donde tékhne significaba «arte» o «técnica» y grammatikḗ, derivado de γράμμα (grámma, «letra»), significaba «de las letras».^[1] Para los griegos antiguos, este «arte de las letras» abarcaba todos los aspectos del discurso: ortografía, sintaxis, interpretación de los textos e incluso la crítica literaria; es decir, englobaba buena parte de lo que hoy diferenciamos como filología, como gramática y como retórica

Tipos de gramática

Entre los principales tipos de gramática o enfoques en el estudio de la gramática se encuentran los siguientes:

• La gramática prescriptiva, o gramática normativa, es la que presenta normas de uso para un lenguaje específico, tendiendo a desaconsejar las construcciones no estandarizadas. La gramática tradicional es típicamente prescriptiva. Este tipo de gramática está basada usualmente en el dialecto de prestigio de una comunidad hablante, y desaconseja a menudo ciertas construcciones que son comunes entre los grupos socioeconómicos bajos y que comienzan a usarse en grupos sociales más altos en función de emular el comportamiento de aquellos. Aunque la gramática prescriptiva aún suele utilizarse en pedagogía y en la enseñanza de lenguas extranjeras, ha perdido peso en la lingüística académica moderna, y actualmente describe solamente un subconjunto del uso de la lengua.
• La gramática descriptiva intenta describir el uso actual de una lengua, evitando juzgar en forma prescriptiva. Se vincula a una determinada comunidad hablante y pretende proveer reglas de uso para cualquier palabra considerada gramaticalmente correcta en esa comunidad.
• La gramática tradicional es la colección de ideas acerca de la gramática que las sociedades occidentales han heredado de Grecia y Roma. La gramática prescriptiva es formulada usualmente en términos de los conceptos descriptivos heredados de la gramática tradicional. La gramática descriptiva moderna apunta a corregir los errores de la gramática tradicional, y generaliza su normativa restrictiva para evitar circunscribir los lenguajes al modelo del latín.
• La gramática funcional, es una visión general sobre la organización del lenguaje natural, formulada por Simon Dik, que contempla tres normas básicas de adecuación: la tipológica, que implica la aplicación de reglas a cualquier lengua, la pragmática, que promueve la aplicación de los enunciados a la interacción en la comunicación, y la psicológica, por la que trata de ser compatible con los mecanismos psicológicos involucrados en el procesamiento de un lenguaje natural.^[2]
• La gramática generativa es un enfoque formal para el estudio sintáctico de las lenguas que puede en algunos sentidos generar las expresiones bien construidas de una lengua natural. Una rama de la teoría lingüística (psicolingüística) se basa en la gramática generativa, promovida por Noam Chomsky.
• Las gramáticas formales aparecen en lingüística computacional. La sintaxis de cada lenguaje de programación se define de hecho por una gramática formal. En teoría de la informática y en matemática, la gramática formal define lenguajes formales. La Jerarquía de Chomsky describe varias clases importantes de gramática formal.