Comprobación de equivalencia entre especificaciones basadas en expresiones regulares
Checking equivalence of specifications based on regular expressions

Impacto

Downloads

Downloads per month over past year



Benito Montoro, Raúl and Chen, Xukai (2021) Comprobación de equivalencia entre especificaciones basadas en expresiones regulares. [Trabajo Fin de Grado]

[thumbnail of BENITO MONTORO 83260_RAUL_BENITO_MONTORO_Memoria_TFG_comprobacion_de_equivalencia_entre_expresiones_regulares_784051_500175936.pdf]
Preview
PDF
Creative Commons Attribution Non-commercial.

1MB



Abstract

En este trabajo, realizamos un estudio sobre los diferentes algoritmos necesarios (y algunas alternativas) en la comprobación de equivalencia entre dos expresiones regulares, con todos los pasos que ello implica: creación de autómatas finitos, determinación de aquellos que lo necesiten y comprobación de la equivalencia.
El trabajo culmina con la creación y pruebas de una herramienta que admite dos especificaciones basadas en expresiones regulares y permite hacer comparaciones entre ellas, de manera total o parcial, utilizando los diferentes algoritmos de comprobación de la equivalencia entre expresiones regulares implementados.

Resumen (otros idiomas)

In this work, we study the different algorithms needed (and some alternatives) for checking the equivalence of two regular expressions, with all the steps involved: creation of finite automata, determination of those that require it and equivalence checking between the resulting deterministic automata. The work will finish with the creation and testing of a tool that can receive two regular expression-based specifications and makes it possible to compare them, partially or completely, with the help of the different algorithms for checking the equivalency of regular expressions.

Item Type:Trabajo Fin de Grado
Additional Information:

Trabajo de Fin de Grado Ingería Informática, Facultad de Informática UCM, Departamento de Ingeniería del Software e Inteligencia Artificial, Curso 2020/2021, el código de esta herramienta está disponible en el repositorio de GitHub:

https://github.com/7216nat/TFG_Comprobador-de-equivalencia-entre-especificaciones-
basadas-en-expresiones-regulares

Directors:
Directors
Sierra Rodríguez, José Luis
Uncontrolled Keywords:Algoritmo Hopcroft-Karp, Equivalencia, Expresiones regulares, Algoritmo deThompson, Algoritmo derivadas, Algoritmo derivadas parciales, Algoritmo Berry-Sethi, Algoritmo seguidores, Autómata finito, Determinación de autómatas.
Palabras clave (otros idiomas):Hopcroft-Karp algorithm, Equivalence, Thompson algorithm, Derivatives algorithm, Partial derivatives algorithm, Berry-Sethi algorithm, Followers algorithm, Finite automata, Automata determination.
Subjects:Sciences > Computer science
Título de Grado:Grado en Ingeniería Informática
ID Code:66913
Deposited On:14 Jul 2021 14:14
Last Modified:14 Jul 2021 14:14

Origin of downloads

Repository Staff Only: item control page