c++ - 检查两个正则表达式是否相等/同构的库

Question

已结束。此问题不符合 Stack Overflow guidelines .它目前不接受答案。

---

我们不允许提出有关书籍、工具、软件库等方面的建议的问题。您可以编辑问题，以便用事实和引用来回答它。

关闭 7 年前。

Improve this question

我需要一个库，它将接收两个正则表达式并确定它们是否同构(即是否完全匹配同一组字符串)例如 a|b 同构于 [ab]

据我了解，正则表达式可以转换为 NFA，在某些情况下可以有效地转换为 DFA。然后可以将 DFA 转换为最小 DFA，如果我理解正确，它是唯一的，因此可以比较这些最小 DFA 是否相等。我意识到并非所有正则表达式 NFA 都可以有效地转换为 DFA(尤其是当它们是从不是真正“正则”的 Perl 正则表达式生成时)，在这种情况下，理想情况下，库只会返回错误或其他指示转换是不可能。

我在网上看到了大量关于这样做的文章和学术论文(甚至还有一些要求学生这样做的类(class)的编程作业)，但我似乎找不到实现此功能的库。我更喜欢 Python 和/或 C/C++ 库，但任何语言的库都可以。有谁知道这样的图书馆吗？如果没有，是否有人知道我可以用作起点的接近的图书馆？

Answer 1

没试过，Regexp:Compare因为 Perl 看起来很有希望:如果第一个的语言是第二个的子集，则两个正则表达式是等价的，反之亦然。