Page 22 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

22

 Morfología: que tiene que ver con las formas diversas que tienen las palabras según su
valor en la frase.

 Sintaxis: que estudia las formas diversas en que se combinan las palabras para formar
frases correctas.

 Fonética: que estudia las propiedades del lenguaje hablado, por supuesto, la fonética no
aplica a los lenguajes de programación pero todo lo demás sí.

LENGUAJE

GRAMÁTICA SEMÁNTICA ESTRUCTURAS LÉXICAS
PROPIAS DEL HABLA

MORFOLOGÍA SINTAXIS FONÉTICA

Entiéndase también que existen representaciones orales y escritas para un mismo lenguaje como
lo es el código Morse, lenguaje de señas, de banderas en altamar, etc., estos no son lenguajes, son
representaciones de lenguajes ya formalizados a través de sus símbolos y las reglas que organizan
y relacionan tales signos o símbolos.

Así las cosas, los lenguajes incluyen un conjunto de símbolos o signos y reglas que los organizan,
y el conocimiento de cada signo da paso a la interpretación y a la consecuente comunicación.

Así tenemos los lenguajes naturales como el nuestro y los de programación, ya en el contexto
nuestro son lenguajes formales que tienen gramáticas propuestas y no admiten ninguna falta o
alteración de las mismas en su uso. Por ello los lenguajes formales son los apropiados para la
interpretación inequívoca de mensajes, lo cual es requisito indispensable en las aplicaciones
informáticas.

¿Qué es un lenguaje formal?

Un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir o relacionar esos
símbolos, están formalmente especificados.

Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al
conjunto de las reglas se le llama la gramática formal (o sintaxis). A una cadena de símbolos
formada de acuerdo a la gramática se la llama una fórmula bien formada(o palabra) del lenguaje.
(Wikipedia).

Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien
formadas (o sea, aquellas que están estrictamente contempladas en atención al alfabeto y al
conjunto de reglas aplicables). A diferencia de lo que ocurre con el alfabeto (que debe ser un
conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un