TY  - THES
AU  - Benito Montoro, Raúl
AU  - Chen, Xukai
A3  - Sierra Rodríguez, José Luis
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/10434
AB  - 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,...
AB  - 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...
LA  - spa
KW  - Algoritmo Hopcroft-Karp
KW  - Equivalencia
KW  - Expresiones regulares
KW  - Algoritmo deThompson
KW  - Algoritmo derivadas
KW  - Algoritmo derivadas parciales
KW  - Algoritmo Berry-Sethi
KW  - Algoritmo seguidores
KW  - Autómata finito
KW  - Determinación de autómatas.
KW  - Hopcroft-Karp algorithm
KW  - Equivalence
KW  - Thompson algorithm
KW  - Derivativesalgorithm
KW  - Partial derivatives algorithm
KW  - Berry-Sethi algorithm
KW  - Followers algorithm
KW  - Finiteautomata
KW  - Automata determination.
TI  - Comprobación de equivalencia entre especificaciones basadas en expresiones regulares
T2  - Checking equivalence of specifications based on regular expressions
M3  - bachelor thesis
ER  -