Autómatas y Compiladores. Segunda Semana. Ricardo Vargas Del Valle A35469.

Presentación del tema: "Autómatas y Compiladores. Segunda Semana. Ricardo Vargas Del Valle A35469."— Transcripción de la presentación:

1 Autómatas y Compiladores. Segunda Semana. Ricardo Vargas Del Valle A35469

2 Análisis Sintáctico Definición: Es el proceso de determinar si una cadena puede ser generada por una gramática. Definición: Es el proceso de determinar si una cadena puede ser generada por una gramática. Análisis sintáctico descendente: Análisis sintáctico descendente: Considerado como una gramática adecuada para esta clase de método. Se construye un árbol a partir de las palabras generadas por el analizador léxico. Se busca que la cadena generada concuerde con la cadena de entrada.

3 Formato explicado en la clase. type ==> simple type ==> simple | ^ ID | ^ ID | ARRAY [ simple ] OF type | ARRAY [ simple ] OF type simple ==> INTEGER simple ==> INTEGER | CHAR | CHAR | NUM DOTDOT NUM | NUM DOTDOT NUM

4 Formato explicado en la clase (cont.) Los ejemplos anteriores representan las “palabras” ingresadas por el programador (a la izquierda de las flechas, llamadas lexemas), y en lo que se pueden convertir (a la derecha de las flechas, éstos términos se llaman tokens). Los ejemplos anteriores representan las “palabras” ingresadas por el programador (a la izquierda de las flechas, llamadas lexemas), y en lo que se pueden convertir (a la derecha de las flechas, éstos términos se llaman tokens).

5 Formato explicado en la clase (cont.) La idea es recorrer la hilera palabra por palabra y construír el árbol con los tokens respectivos. De manera que la cadena generada al final concuerde con la cadena de entrada. Siempre se comienza con el primer lexema y a partir de ahí se construye.

6 Formato explicado en la clase (cont.) Por ejemplo: Por ejemplo: Se tiene la hilera de entrada Hilera ==> ARRAY [ NUM DOTDOT NUM ] OF INTEGER Se comienza con el primer lexema, en este caso es TYPE

7 Formato explicado en la clase (cont.) Al final de todo el proceso se genera: Al final de todo el proceso se genera: type type|/----------------\ / | | | | \ ARRAY [ simple ] OF type / | \ | / | \ | / | \ simple / | \ simple NUM DOTDOT NUM | NUM DOTDOT NUM | INTEGER INTEGER Que genera una cadena igual que la de entrada.

8 Bibliografía Notas del Curso, Autómatas y Compiladores, II Ciclo – 2007. Notas del Curso, Autómatas y Compiladores, II Ciclo – 2007. Compiladores: Principios, técnicas y herramientas. Alfred Aho, Jeffrey Ullman. Addison-Wesley. 1990. Compiladores: Principios, técnicas y herramientas. Alfred Aho, Jeffrey Ullman. Addison-Wesley. 1990.