我需要一个库，它将接收两个正则表达式并确定它们是否同构(即是否完全匹配同一组字符串) 例如 a|b 同构于 [ab]
据我了解，正则表达式可以转换为 NFA，在某些情况下可以有效地转换为 DFA。然后可以将 DFA 转换为最小 DFA，如果我理解正确，它是唯一的，因此可以比较这些最小 DFA 是否相等。我意识到并非所有正则表达式 NFA 都可以有效地转换为 DFA(尤其是当它们是从不是真正“正则”的 Perl 正则表达式生成时)，在这种情况下，理想情况下，库只会返回错误或其他指示转换是不可能。
我在网上看到了大量关于这样做的文章和学术论文(甚至还有一些要求学生这样做的类(class)的编程作业)，但我似乎找不到实现此功能的库。我更喜欢 Python 和/或 C/C++ 库，但任何语言的库都可以。有谁知道这样的图书馆吗？如果没有，是否有人知道我可以用作起点的接近的图书馆？
最佳答案
没试过，Regexp:Compare因为 Perl 看起来很有希望:如果第一个的语言是第二个的子集，则两个正则表达式是等价的，反之亦然。
关于c++ - 检查两个正则表达式是否相等/同构的库，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9607062/