Generación automática de analizadores sintácticos a partir de esquemas de análisis

Resumen

Los esquemas de análisis sintáctico son un formalismo de definición de algoritmos de análisis sintáctico que permite abstraer detalles de bajo nivel. En este trabajo, presentamos una técnica de compilación para transformar automáticamente un esquema de análisis sintáctico en una implementación ejecutable. Concretamente, a partir de un esquema obtendremos el código Java que implementa el analizador correspondiente, incluyendo técnicas de indexación adaptadas a cada esquema concreto para garantizar eficiencia. La técnica presentada es general, permitiendo trabajar con todo tipo de esquemas para gramáticas independientes del contexto, e incluye mecanismos de extensibilidad para definir nuevos elementos susceptibles de aparecer en dichos esquemas, al tiempo que es fácilmente generalizable a otros formalismos gramaticales