Acceso al documento en PDF - Biblioteca Nacional de Maestros

Fig. 3 AFD usado para IR construcción del analizador Lexicográfico
Se definió una clase, a la que se llamó TScanner, capaz de contener todos los ‘datos y el
comportamiento necesarios para soportar al analizador lexicográfico. Para su implementación se siguió
un método sistemático que a cada estado le corresponde un segmento de, código. Si existen, arcos
saliendo del estado, entonces su código lee un caracter y selecciona el arco a seguir; si es posible. Se
usa una función miembro NextChar() para leer el próximo caracter de la entrada, avanzar el puntero al
caracter y devolver el caracter leído (Aho et al [1987]).
2.2.1.2. El analizador sintáctico
El análisis sintáctico o parsing es el proceso de determinar si una cadena de tokens puede ser
generada por una gramática dada (Aho et al [1987]).
Una vez finalizado el desarrollo del analizador lexicográfico se comenzó con la implementación del
analizador sintáctico trabajando sobre la base de la gramática dada en la figura 2. Se construyó así Un
tipo de analizador sintáctico top-down conocido como descendente recursivo consistente en un conjunto
de procedimientos mutuamente recursivos encargados de llevar adelante el análisis. Más precisamente,
Se implementó una forma especial de parsing descendente recursivo, llamado parsing predictivo, en el
cual se asocia un procedimiento con cada no terminal de la gramática y el símbolo de lookahead no
ambiguo leído sobre la entrada determina el procedimiento asociado a un no terminal que va a
ejecutarse(Aho et al [1987]).
Para poder implementar este tipo de parser, es necesario que la gramática sea LL(l) (Aho et al
[1979] [1987]). Nuestra gramática presenta un problema con la producción
::= + ; ccomposición de FF>
( - ; )
donde puede comenzar con cualquiera de los símbolos con que comienza una
función. Este problema fue resuelto sobre el código de la siguiente manera: si el símbolo Siguiente a la
composición de formas funcionales es ‘-‘, entonces estamos seguros de que se trata de un condicional,
en CUYO Caso se asumirá como condición del condicional sólo la última función que aparezca en la
composición. Si comienza con el paréntesis ‘(’ tampoco se puede saber si se trata de un condicional o
de ta forma funcional repetitiva while, pero esto es inmediatamente resuelto cuando se lee el próximo
símbolo sobre la entrada y se verifica si se trata de un whíle o no. En el caso que no lo fuese, estamos
frente a un condicional cuya condición puede estar formada por la composición de cualquier número de
funciones.
Se definió la clase TParserDialog, encargada tanto del analisis sintáctico como de crear y visualizar
la Caja de diálogo donde se le muestra al usuario el resultado del proceso de compilación.
232