A Tool to Assist the Compiler Construction Instructor in Checking the Equivalence of Specifications Based on Regular Expressions. - Raúl Benito-Montoro; Xukai Chen; José Luis Sierra (SIIE, 2021)