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

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.

Description

Title: Desarrollo de una biblioteca de análisis sintáctico y validación de problemas de reescritura
Author/s:
  • Herrero Gómez-Jareño, Juan Pablo
Contributor/s:
  • Gutiérrez Gil, Raúl
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

Full text

[img] PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (571kB)

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.

More information

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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM