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:
- Los lenguajes de programación con los que se crea el software.
- El juego del ajedrez, cuyas piezas son limitadas y movimientos descritos de antemano.
- El código morse, que a través de signos cortos y largos compone palabras y números enteros.
- La propia lógica simbólica constituye un lenguaje formal.
Sigue con: Lenguaje técnico
Referencias
- “Lenguaje formal” en Wikipedia.
- “Jerarquía de Chomsky” en Wikipedia.
- “Teoría de los lenguajes formales. Una introducción para lingüistas” de Sergio Balari en la Universidad Autónoma de Barcelona (España).
- “Lenguajes formales” por Federico Peinado en la Universidad Complutense de Madrid (España).
- “Formal language” en The Encyclopaedia Britannica.