next up previous contents
Next: 2 Asociación de los Up: 6.1 Introducción Previous: 1.1.2 El análisis no

1.2 Antecedentes

 

En los entornos tradicionales de carácter determinista y con ausencia de incrementalidad se han realizado varios trabajos que, al menos en apariencia, poseen interfaces integradas con un analizador sintáctico. De tal modo, existen en el momento actual herramientas, que a veces reciben nombres tales como entornos de desarrollo integrados, que poseen un editor integrado en cierta medida con la sintaxis que es capaz de mostrar al programador una representación más visual del código fuente mediante la utilización de distintos recursos gráficos (principalmente una cierta gama de distintas fuentes y colores) para indicar palabras clave, tipos, variables, constantes, etc. En estos desarrollos, aunque ya existe un cierto grado de integración entre los componentes, ésta es débil y está más orientada hacia una simple presentación más visual e intuitiva del código fuente que a una real interacción interfaz-parser-lexical.

En el campo del análisis incremental existe un interesante desarrollo llamado ASF+SDF [Centaur 92a, Centaur 92b, Centaur 92c] que combina un formalismo de especificación algebraicagif con un formalismo de definición de sintaxisgif, integrados ambos en un editor dirigido por la sintaxis denominado GSEgif [Centaur 92b]. SDF permite especificar cualquier sintaxis de contexto libre mediante un formalismo propio. Se puede validar el analizador para dicha gramática utilizando un texto en un editor de tipo GSE. En dicho editor, parte del texto está resaltado en lo que los autores denominan focus. Sobre el focus se pueden realizar acciones de zoom de tal modo que en vez de texto pasa a representar un nodo interior del árbol sintáctico. La característica más destacable es que se puede modificar la especificación de la gramática y automáticamente se realizará un análisis incremental en el texto de prueba trasladando el focus a aquella porción de texto que engloba los posibles errores sintácticos surgidos como resultado de la transformación de la gramática. SDF utiliza un autómata LR(0) extendido cuya construcción es incremental a partir de la nueva gramática modificada y el autómata correspondiente a la versión original de la misma. El análisis sintáctico en sí mismo no es incremental. En cuanto al no determinismo, SDF dispone de mecanismos de asignación de prioridades a las reglas que se utilizan en el proceso de desambigüación.


next up previous contents
Next: 2 Asociación de los Up: 6.1 Introducción Previous: 1.1.2 El análisis no

Miguel A. Alonso Pardo
Thu Nov 20 16:47:01 CET 1997