Desarrollo de una biblioteca de análisis sintáctico y validación de problemas de reescritura

Abstract

La proliferación de diversas competiciones internacionales en el ámbito de la reescritura de términos ha generado diferentes estándares para los formatos de entrada de los diferentes tipos de problemas de reescritura de cada categoría. El objetivo de este trabajo es desarrollar un servicio consistente en un procesador de lenguajes homogéneo para los diferentes problemas de reescritura presentes en estas competiciones, es decir, se creará un analizador léxico, sintáctico y semántico que reconozca los diferentes tipos de problemas utilizados en la base de datos de problemas de terminación TPDB (“Termination Problems Data Base”) [1] y la base de datos de problemas de confluencia COPS (“Confluence Problems”) [2] Además, se comprobará que la signatura de los sistemas de reescritura son consistentes. Finalmente, esta implementación se extiende a una biblioteca, lo que permitirá que cualquier herramienta pueda importar este servicio y se pueda beneficiar del analizador sintáctico desarrollado a través de una estructura de datos sencilla.---ABSTRACT---The proliferation of several international competitions in the field of term rewriting has generated different standards for the input formats of the different types of rewriting problems in each category. The objective of this work is to develop a service consisting of a homogeneous language processor for the different rewriting problems present in these competitions, that is, a lexical, syntactic and semantic analyzer will be created which recognizes the different types of problems used in the “Termination Problems Data Base” (TPDB) [1] and the “Confluence Problems” database (COPS) [2] In addition, it will be verified that the signature of the rewriting systems are consistent. Finally, this implementation is extended to a library, which will allow any tool to import this service and benefit from the parser developed through a simple data structure.