Integrantes:

Franklin Parra
Luis Pazmiño

Paralelo: “B”

Gramática libres de contexto

Concepto

Gramatica: expresa la competencia lingüística. Modelar el comportamiento
linguistico en el proceso de comunicación (comprensión y generación de la
lengua).
Gramática: Especificación rigurosa y explicita de la estructura de un lenguaje (No
ambigua, predictiva, aplicativa) [1].

Gramática Generativa
Nos permite expresar o explicar el mecanismo mediante el cual los hablantes de
una lengua son capaces de producir y entender oraciones, en las que consta por 4
componentes que son (V,T,P,S):
V es un conjunto de variables o símbolos no terminales sus elementos se suelen
representar con las letras mayúsculas [2].

T Es el alfabeto, conjunto de símbolos terminales. Sus elementos se suelen
representar con letras minúsculas.

P es un conjunto de pares (a, B), llamados reglas de producción, donde a, B en (V U
T)* y a contiene, al menos un símbolo de V. El par (a, B) se suele representar como
a à B

S es un elemento de V, llamado símbolo de partida o inicial [3].


Una GLC es un dispositivo generador.

• Definimos el lenguaje LG generado por una gramática G del siguiente modo: LG =
{ w / S ⇒* w } , siendo ⇒* una “especie” de clausura transitiva de → y w una tira de
terminales [4].
Ejemplo 1:

La siguiente gramática genera las cadenas del lenguaje

G1 = ({A}, {a, b, c}, P1, S1), y P1 contiene las siguientes producciones

 S1 → A
A → aAa
A → bAb
A→c

Ejemplo 2:

La siguiente gramática genera las cadenas del lenguaje

Árbol de derivación

Un árbol de derivación permite mostrar gráficamente cómo se puede derivar
cualquier cadena de un lenguaje a partir del símbolo distinguido de una gramática
que genera ese lenguaje [5].

Un árbol es un conjunto de puntos, llamados nodos, unidos por líneas, llamadas
arcos. Un arco conecta dos nodos distintos. Para ser un árbol un conjunto de nodos
y arcos debe satisfacer ciertas propiedades [6]:

• Hay un único nodo distinguido, llamado raíz (se dibuja en la parte superior)
que no tiene arcos incidentes.

• Todo nodo c excepto el nodo raíz está conectado con un arco a otro nodo k,
llamado el padre de c (c es el hijo de k). El padre de un nodo, se dibuja por
encima del nodo.

• Todos los nodos están conectados al nodo raíz mediante un único camino.

• Los nodos que no tienen hijos se denominan hojas, el resto de los nodos se
denominan nodos interiores.





Fig 1 Ejemplo de árbol de derivación [6].

Árbol de Sintaxis Abstracta

Es una representación de árbol de la estructura sintáctica abstracta (simplificada)
del código fuente escrito en cierto lenguaje de programación. Cada nodo del árbol
denota una construcción que ocurre en el código fuente. La sintaxis es abstracta en
el sentido que no representa cada detalle que aparezca en la sintaxis verdadera.
Por ejemplo, el agrupamiento de los paréntesis está implícito en la estructura
arborescente, y una construcción sintáctica tal como IF condición THEM puede ser
denotada por un solo nodo con dos ramas.
Esto hace a los árboles de sintaxis abstracta diferentes de los árboles de sintaxis
concreta, llamados tradicionalmente árboles de parser, que son a menudo
construidos por la parte parser de la traducción del código fuente y el proceso
de compilación (a pesar quizás de un nombramiento no intuitivo). Una vez
construido, información adicional es agregada al AST por procesamiento
subsecuente, ej., análisis semántico. [7]
Ejemplo 2.9.4

Sea con
y las producciones:

Ambigüedad

Gramáticas ambiguas
La ambigüedad es un problema muy importante en informática.
No hay métodos automatizados para obtener gramáticas no ambiguas.
Sí hay "recomendaciones generales".
Def (Gramática ambigua) Una gramática es ambigua si existe alguna cadena de
terminales que pueda obtenerse mediante árboles de derivación distintos (dos
árboles distintos dan la misma cadena)
Solución
Una categoría sintáctica distinta para cada nivel de precedencia (jerarquizar la
gramática)
Lenguajes ambiguos
Def (LI ambiguo) Un lenguaje incontextual es inheremente ambiguo si todas las
gramáticas que lo representan son ambiguas
Ejemplo
El lenguaje de las expresiones aritméticas tenía una gramática ambigua, pero
también otra que no lo es lenguaje no ambiguo.
No siempre es posible eliminar la ambigüedad. No es porque no conozcamos un
algoritmo que elimine la ambigüedad, sino que estamos seguros de que no puede
hacerse[8].

Ejemplo
El siguiente lenguaje es inherentemente ambiguo:

Esta gramática es ambigua:

Fig 2 Ejemplo de una ambiguedad [9].

Eso no garantiza que L sea ambiguo. Por eso debemos comprobar que toda GI que
lo represente es ambigua.






Bibliografía
[1]"Gramáticas Libres de Contexto", YouTube, 2017. [Online]. Available:
https://www.youtube.com/watch?v=V8a2-O20Ebo. [Accessed: 12- Dec- 2017].

[2]"Gramáticas Libres de Contexto", YouTube, 2017. [Online]. Available:
https://www.youtube.com/watch?v=V8a2-O20Ebo. [Accessed: 12- Dec- 2017].

[3]"Gramáticas Libres de Contexto", YouTube, 2017. [Online]. Available:
https://www.youtube.com/watch?v=V8a2-O20Ebo. [Accessed: 12- Dec- 2017].

[4]"Citar un sitio web - Cite This For Me", Fing.edu.uy, 2017. [Online]. Available:
https://www.fing.edu.uy/inco/cursos/grampln/presentaciones/GFLN2012_03_G
LC.pdf. [Accessed: 12- Dec- 2017].

[5] M. Alejandra, "Arboles de derivaciòn", Teodelacomp.blogspot.com, 2017.
[Online]. Available: http://teodelacomp.blogspot.com/2011/03/arboles-de-
derivacion.html. [Accessed: 12- Dec- 2017].

[6]severino, "Tipos de gramatica y arboles de derivacion", Slideshare.net, 2017.
[Online]. Available: https://www.slideshare.net/jorgeseverino8/tipos-de-
gramatica-y-arboles-de-derivacion. [Accessed: 12- Dec- 2017].

[7]"Árbol de sintaxis abstracta", Es.wikipedia.org, 2017. [Online]. Available:
https://es.wikipedia.org/wiki/%C3%81rbol_de_sintaxis_abstracta. [Accessed: 12-
Dec- 2017].

[8]"TALF: Teoría de Autómatas y Lenguajes Formales", Antares.sip.ucm.es, 2017.
[Online]. Available:
http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=temas/submenuInco
ntextuales&contenido=temas/ambiguedad. [Accessed: 12- Dec- 2017].

[9]"TALF: Teoría de Autómatas y Lenguajes Formales", Antares.sip.ucm.es, 2017.
[Online]. Available:
http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=temas/submenuInco
ntextuales&contenido=temas/ambiguedad. [Accessed: 12- Dec- 2017].