ARBOLES DE DERIVACION

Alumno:

27/08/2017
Uso de los rboles de derivacin
Los rboles de derivacin son una herramienta de ayuda de forma
grfica para la derivacin proveniente de una gramtica formando
como resultado final una cadena de smbolos terminales los cuales son
provenientes de una gramtica. El uso de rboles es muy usual en los
compiladores ya que los lenguajes son extendidos en rboles de
derivacin y tales cadenas solo poseen un rbol de derivacin son
correctos, las que poseen ms de un rbol no son lenguajes de
programacin correctos ya que son ambiguos y puede generar
confusin en el momento de compilacin.
EMPLEAR EL SOFTWARE JFLAP PARA LOS LENGUAJES Y LAS GRAMTICAS
La gramtica S x | y | z | S + S | S S | S * S | S/S | (S)
modelamos la gramtica en Jflap
Para comprobar las expresiones y obtener su rbol de derivacin seleccionamos la opcin Input-
>Brute Force Parse y en la caja de texto input introducimos la expresin a comprobar.
( x + y) x
(x + y ) * x z
Acepta la expresin con el siguiente rbol
(( x + y ) / z)
Acepta la expresin con el siguiente rbol.
((x+y)(x+z))
Rechaza la expresin
(x+y)*xz*y/(x+x)
Al verificar la expresin utilizando brute force parse se satura es espacio del Heap
por lo que no se puede verificar, si transformamos la gramtica en una gramtica
lineal por la derecha y en un autmata finito podemos verificar si la expresin es
valida en el autmata.
Rechaza la expresin.
Bibliografa
Jurado Malaga, E. (2008). Teorias de automatas y lenguajes formales. Caceres: Universidad de
Extremadura, Servicio de Publicaciones
http://ofiweb.ugr.es, P. (2017). Departamento de Ciencias de la Computacin e I.A | Universidad
de Granada. Decsai.ugr.es. Retrieved 28 August 2017, from
http://decsai.ugr.es/~smc/docencia/mci/Practicas0506.pd