InicioTextos

Lenguajes formales

Te explicamos qué son los lenguajes formales, sus características, ejemplos y tipos. Además, sus diferencias con los lenguajes naturales.

¿Qué es un lenguaje formal?

En informática y ciencias de la información, cuando nos referimos a un lenguaje formal en oposición a los lenguajes naturales, nos referimos a aquellos sistemas de signos dotados de símbolos primitivos y de un sistema de reglas de uso formalmente especificado, es decir, dotados de un alfabeto y de una gramática (o sintaxis) formal:

  • Se entiende por alfabeto al conjunto finito y no vacío de símbolos primitivos.
  • Se entiende por gramática formal al conjunto finito de reglas de combinación de dicho alfabeto para formar cadenas finitas con un sentido determinado.

En ello se diferencia de los lenguajes naturales, surgidos en torno a la necesidad humana de comunicarse, en los que las reglas son complejas y ambiguas, y el sentido depende de la interpretación de los signos lingüísticos. Por eso, los lenguajes naturales son infinitamente más complejos que la lectura de un lenguaje formal cuyas reglas son finitas y están establecidas de antemano.

Los lenguajes formales son importantes para el mundo de las matemáticas y de la computación, ya que nos permiten crear códigos de comunicación entre seres humanos y máquinas, es decir, la programación. No debemos confundir los lenguajes formales con el nivel formal de la lengua o con la lengua formal, que es el uso protocolar, educado y formal del lenguaje verbal, opuesto a su uso coloquial, desaliñado e informal.

De acuerdo al lingüista estadounidense Noam Chomsky (1928-), los lenguajes formales se pueden clasificar en cuatro tipos:

  • Tipo 3: lenguajes regulares dotados de gramáticas regulares, es decir, de sistemas de reglas que se pueden obtener por expresiones regulares y que permiten obtener todas las cadenas de símbolos posibles.
  • Tipo 2: lenguajes incontextuales dotados de gramáticas incontextuales, o sea, que permiten obtener todas las cadenas de símbolos posibles, pero a un mucho mayor nivel de complejidad que los regulares.
  • Tipo 1: lenguajes contextuales dotados de gramáticas contextuales, esto es, que permiten obtener cadenas de símbolos dependientes, como su nombre lo indica, del contexto.
  • Tipo 0: lenguajes libres dotados de gramáticas libres, sin restricciones, que produce lenguajes recursivamente enumerables.

Ver también: Tipos de lenguaje

Ejemplos de lenguajes formales

Son ejemplos de lenguajes formales:

Sigue con: Lenguaje técnico

Referencias