%0 Thesis
%A Benito Montoro, Raúl
%A Chen, Xukai
%T Comprobación de equivalencia entre especificaciones basadas en expresiones regulares
%D 2021
%U https://hdl.handle.net/20.500.14352/10434
%X 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.
%X 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 theresulting 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.
%~