2つの正規表現が等しいか同形であるかどうかを確認するライブラリ

Question

2つの正規表現を取り入れ、それらが同形であるかどうかを判断するライブラリが必要です（つまり、全く同じ文字列に一致するかどうかを確認する） たとえばa | bはisomorphic to [ab]

私が理解しているように、正規表現はNFAに変換でき、場合によっては効率的にDFAに変換できます。 DFAを最小限のDFAに変換することができます。最小限のDFAは、正しく理解すれば一意であるため、これらの最小限のDFAを比較することができます。私はすべての正規表現NFAが効率的にDFAに変換できるわけではないことを認識しています（特にPerl Regexpsから生成された正規表現ではない）。理想的には、ライブラリがエラーを返すか、ありえない。

私はこれをやっていることに関する記事や学術論文をオンラインで見ることができますが、これを実装するライブラリを見つけることはできません。私はPythonやC/C++のライブラリを好むだろうが、どの言語のライブラリでもできる。誰かがそのようなライブラリを知っていますか？もしそうでなければ、誰かが近くに近づいて私が出発点として使用できるライブラリを知っていますか？

Answer 1

PerlのためのRegexp:Compareは有望そうです：最初の言語が2番目のサブセットであり、その逆の場合、2つの正規表現は同等です。

Answer 2

brics automaton library Java用もサポートしています。正規表現をDFAに変換することで、正規表現が同等かどうかを確認できます。