Full text
![]() |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (571kB) |
Herrero Gómez-Jareño, Juan Pablo (2022). Desarrollo de una biblioteca de análisis sintáctico y validación de problemas de reescritura. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.
Title: | Desarrollo de una biblioteca de análisis sintáctico y validación de problemas de reescritura |
---|---|
Author/s: |
|
Contributor/s: |
|
Item Type: | Final Project |
Degree: | Grado en Ingeniería Informática |
Date: | June 2022 |
Subjects: | |
Faculty: | E.T.S. de Ingenieros Informáticos (UPM) |
Department: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
![]() |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (571kB) |
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.
Item ID: | 71465 |
---|---|
DC Identifier: | https://oa.upm.es/71465/ |
OAI Identifier: | oai:oa.upm.es:71465 |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 02 Aug 2022 05:54 |
Last Modified: | 02 Aug 2022 05:54 |