tesis_uam/Guia para hacer compiladores _UAM7403.pdf - cedip

144172Del análisis anterior podemos concluir que la gramática generadapor la expresión regular es la siguiente:S ---> A B C> aaA ---> AaaB ---> bB ---> bbBC ---> Ec ---> ccA ---Considere la gramática siguiente:S - EE --> IE --> I+EI --> aI --> bLa expresión "a+b+a" pertenece a la gramática generada por estelenguaje?En cada paso de la derivación debemos:1.- Decidir cual símbolo de la producción vamos a reemplazar.2.- Decidir cual producción sustituir del símbolo eleguido.Esto nos llevará a dos posibles caminos de derivación:a) E --> I + E --> a + E --> a + I + E --> a + b + E -->--> a + b + I --> a + b + aa) E --> I + E --> I + I + E --> I + 1 + I --> I + I + a -->--> I + b + a --> a + b + aEn el camino de derivación del inciso a consideramos derivacionesen donde sólo el no terminal de más a la izquierda fuesustituido en cada paso, formando así una "sentencia izquierda" o"forma de frase izquierda" de la gramática en cuestión.Análogamente, para el inciso b, consideramos derivaciones dondesólo el no terminal de más a la derecha fue sustituido en cadapaso formando así una Itsentencia derecha" de la gramática encuestión. Las derivaciones derechas a menudo se denominanderivaciones canónicas.Un árbol de análisis sintáctico se puede considerar como unarepresentación gráfica de una derivación que no muetre laelección relativa del orden de sustitución. El árbol creado por41