Library to check if two regular expressions are equal/isomorphic [closed]

Question

I need a library which will take in two regular expressions and determine whether they are isomorphic (i.e. match exactly the same set of strings or not) For example a|b is isomorphic to [ab]

As I understand it, a regular expression can be converted to an NFA which in some cases can be efficiently converted to a DFA. The DFA can then be converted to a minimal DFA, which, if I understand it correctly, is unique and so these minimal DFA's can then be compared for equality. I realize that not all regular expression NFA's can be efficently transformed into DFA's (especially when they were generate from Perl Regexps which are not truly "regular") in which case ideally the library would just return an error or some other indication that the conversion is not possible.

I see tons of articles and academic papers on-line about doing this (and even some programming assignments for classes asking students to do this) but I can't seem to find a library which implements this functionality. I would prefer a Python and/or C/C++ library, but a library in any language will do. Does anyone know if such a library? If not, does someone know of a library that gets close that I can use as a starting point?

Answer 1

Haven't tried it, but Regexp:Compare for Perl looks promising: two regex's are equivalent if the language of the first is a subset of the second, and vice verse.

Answer 2

The brics automaton library for Java supports this. It can be used to convert regular expressions to minimal Deterministic Finite State Automata, and check if these are equivalent:

public static void isIsomorphic(String regexA, String regexB) {     Automaton a = new RegExp(regexA).toAutomaton();     Automaton b = new RegExp(regexB).toAutomaton();     return a.equals(b); } 

Note that this library only works for regular expressions that describe a regular language: it does not support some more advanced features, such as backreferences.