Aplicación de Los Lenguajes Formales

Contenido
¿Qué es un lenguaje formal?........................................................................................................2

¿Cuál fue la necesidad de los lenguajes formales?.......................................................................4
Ejemplos de los conceptos esenciales..........................................................................................5
Clasificación de los lenguajes de programación...........................................................................7
Operaciones con lenguajes........................................................................................................10
Luis enrique- de la diapositiva 1 a la 6 (información en Word

pagina 2,3,12)
Arturo- de la diapositiva 7 a la 9 (información en Word pagina 4)
Armando- de la diapositiva 10 a la 12 (información en Word

pagina 5,6)
Ángel – de la diapositiva 13 y 14 (información en Word pagina

7,8,9)
Jebus – de la diapositiva 15 a la 19(información en Word pagina

10,11)
Aplicación de los lenguajes formales

¿Qué es un lenguaje formal?
En matemáticas, lógica y ciencias de la computación, 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.
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.
Un lenguaje formal es un conjunto (finito o infinito) de cadenas finitas de símbolos
primitivos
El lenguaje “Número” es simplemente el conjunto infinito de cadenas finitas formadas
con los dígitos 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9.
Dichas cadenas están formadas gracias a un alfabeto y a una gramática que están formalmente
especificados
El alfabeto es un conjunto finito no vacío de símbolos
La gramática es un conjunto finito de reglas para formar cadenas finitas juntando símbolos del
alfabeto
A cada cadena de símbolos de un lenguaje formal se le llama fórmula bien formada (o palabra)
del lenguaje
Gramática formal
Una gramática formal es una estructura lógico-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.
La gramática es un conjunto finito de reglas para formar cadenas finitas juntando símbolos del
alfabeto
A cada cadena de símbolos de un lenguaje formal se le llama fórmula bien formada (o palabra)
del lenguaje
¿Cuál fue la necesidad de los lenguajes

formales?
Allá por 1954, se inició el desarrollo del lenguaje de programación
FORTRAN que, aunque fue un verdadero compilador, adolecía de una gran
complejidad. Casi al mismo tiempo que John Backus inició su compilador,
Noam Chomsky empezó con el estudio del lenguaje natural, con la idea de
estructurarlo, y consiguió una revolución en este campo.
Una de sus muchas aportaciones fue la jerarquía de Chomsky para
organizar las gramáticas formales, entendiéndose por gramática las reglas
necesarias para definir la estructura de un lenguaje formal.
La jerarquía de Chomsky estructura las gramáticas en cuatro niveles, del más genérico y que
incluye a los demás (tipo 0) al más específico (tipo 3):
A los diseñadores de lenguajes formales, les interesan las gramáticas tipo 2, que son
las que nos permiten definir un lenguaje de programación, y las de tipo 3, que nos
permitirán definir cuáles son los caracteres que constituyen las palabras de nuestro
lenguaje. Posteriormente, veremos un ejemplo de cada uno de estos cuatro tipos de
gramática, una vez hayamos definido los conceptos necesarios para entenderlos.
Ejemplos de los conceptos esenciales

Un lenguaje natural es el lenguaje hablado o escrito que tiene como
misión principal establecer la comunicación. Ejemplo de estos lenguajes
son: español, inglés, francés, chino, etc.
Podemos definir un lenguaje formal, además de como una especialización
del lenguaje natural, como el conjunto de palabras que están formadas
por caracteres o símbolos, de longitud finita, que a su vez forman parte de
un alfabeto finito. Con los lenguajes formales construimos los lenguajes de
programación, y ejemplo de ellos son:
---C , C++ , Java, Etc
Definición de los conceptos: esenciales y su notación
Clasificación de los lenguajes de programación
El objetivo de las gramáticas formales es definir los lenguajes de
programación, y por tanto hay que conocer qué tipos de lenguajes hay y
como se clasifican.
Por supuesto, hay varias formas de clasificar los miles de lenguajes que existen. Cueva Lovelle
(1998) y otros autores los clasifican atendiendo a los siguientes criterios:
-Según su grado de independencia de la máquina.
-Según la forma de las instrucciones.
-Por generaciones.
-Según la forma de ejecución
Según su grado de independencia de la máquina.

Según la forma de las instrucciones.
Por generaciones.
Según la forma de ejecución.
Operaciones con lenguajes

Como hemos visto anteriormente un lenguaje es cualquier
subconjunto del universo de un alfabeto L (∑), y las operaciones
que nos interesan sobre un lenguaje son: unión, concatenación,
clausura positiva y la clausura o (cierre de Kleene). Hay otras
operaciones como la potencia, reflexión, resta o complemento.
En este tema hemos dado un repaso a la historia de los lenguajes
formales a partir del trabajo de Chomsky, Backus y Naur, que
permitieron dar un salto hacia las gramáticas bien formadas o forma
normal de Backus-Naur (BNF), lo que nos ha permitido ver su
necesidad. En primer lugar, hemos repasado las definiciones básicas:
símbolo, alfabeto, palabra, palabra vacía, universo de un alfabeto y
lenguaje desde le punto de vista de las gramáticas formales. Además
de estas definiciones, hemos visto las operaciones más importantes
que se pueden hacer con palabras (concatenación, potencia y
reflexión) y con lenguajes (unión, concatenación, cierre positivo y

Aplicación de Los Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Aplicación de Los Lenguajes Formales

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Aplicación de Los Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Contenido

¿Qué es un lenguaje formal?........................................................................................................2

Luis enrique- de la diapositiva 1 a la 6 (información en Word

Arturo- de la diapositiva 7 a la 9 (información en Word pagina 4)

Armando- de la diapositiva 10 a la 12 (información en Word

Ángel – de la diapositiva 13 y 14 (información en Word pagina

Jebus – de la diapositiva 15 a la 19(información en Word pagina

Aplicación de los lenguajes formales

Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del

A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula

El alfabeto es un conjunto finito no vacío de símbolos

Una gramática formal es una estructura lógico-matemática con un conjunto

¿Cuál fue la necesidad de los lenguajes

Ejemplos de los conceptos esenciales

-Según su grado de independencia de la máquina.

-Según la forma de las instrucciones.

-Según la forma de ejecución

Según su grado de independencia de la máquina.

Operaciones con lenguajes

También podría gustarte