有什么方法可以生成任意等价的正则表达式吗？

Question

我想为正则表达式分析引擎编写测试。如果我可以生成任意对等价的正则表达式，看看引擎是否正确解析它们并将它们识别为等价，那就太好了。有没有已知的算法可以做到这一点？

如果有人知道预先创建的列表，我也会接受 20-100 个众所周知的正则表达式等效项的列表。例如a*a 和aa* 或(ab)*a 和a(ba)*。

Answer 1

我想出的方法如下 - 我组装了一个简单的正则表达式转换列表，它保留了等价性，例如（假设 a 和 b 是等价的）：

• f(a, b) ⩴ (a*a, bb*)
• f(a, b) ⩴ (aa?, b?b)
• f(a, b) ⩴ (ab, ba)
• f(a, b) ⩴ (a[\d]+, b[0-9]+)

等等。然后我随机迭代地将这些转换应用于一对已知相等的起始正则表达式，例如(x, x)。最终结果是一对复杂但等效的正则表达式。此生成算法适用于基于属性的测试。