Reflexiones
personales:
En este tema
se abordan los conceptos de gramática y lenguaje formal. Probablemente el
punto central de este tema es la introducción del concepto de gramática formal,
que se hará en primer lugar de forma intuitiva, hasta llegar a una definición formal.
Una gramática formal es una estructura matemática
con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural. Las gramáticas formales aparecen en
varios contextos diferentes: la lógica matemática, las ciencias de la computación y la lingüística teórica, frecuentemente con métodos e
intereses divergentes.
En un lenguaje formal, a las cadenas formadas según las
reglas de la gramática formal se las llama fórmulas bien formadas, y el conjunto de todas las fórmulas bien formadas
constituye un lenguaje formal. Una gramática formal no describe el significado de las fórmulas bien formadas, sino
solamente su forma. La teoría de los lenguajes formales estudia las gramáticas formales y los
lenguajes formales, y es una rama de la matemática aplicada. Sus aplicaciones se encuentran en la
ciencia computacional teórica, la lingüística,
la semántica formal, la lógica
matemática y otras áreas.
Un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir 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 lo 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. Estrictamente hablando, un lenguaje formal es
idéntico al conjunto de todas sus fórmulas bien formadas. 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 lenguaje formal
puede estar compuesto por un número infinito de fórmulas bien formadas.
Por ejemplo, un alfabeto podría ser el conjunto {a,b},
y una gramática podría definir a las fórmulas bien formadas como aquellas que
tienen el mismo número de símbolos a que b. Entonces, algunas
fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba,
etc.; y el lenguaje formal sería el conjunto de todas esas fórmulas bien
formadas.
Para
algunos lenguajes formales existe una semántica
formal que puede interpretar y
dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una
semántica formal no es condición necesaria para definir un lenguaje formal, y
eso es una diferencia esencial con los lenguajes naturales.
En
algunos lenguajes formales, la palabra vacía (esto es, la cadena de
símbolos de longitud cero) está permitida.
Citas:
“… los lenguajes
formales y los sistemas asociativos son inevitables y buenos, y únicamente se
transforman en tiranías cuando no somos conscientes de ellos. Afirmamos también
que el contenido del simbolismo inadvertido de la actual arquitectura moderna
es estúpido”
Robert
Venturi
Aprendiendo
de Las Vegas. El simbolismo olvidado de la forma arquitectónica
Ed.
Gustavo Gili, Barcelona 1.978, Ed. Original 1.977
Enlace de
Imágenes
relacionadas con temas propios de la asignatura.
No hay comentarios:
Publicar un comentario