比较两个正则表达式的严格性？

Question

一般来说，有没有一种快速的方法来比较两个正则表达式并确定两者中哪一个更严格？即，有两个正则表达式 A 和 B，如果每个匹配 A 的字符串也匹配 B，A 比 B 更严格。

Answer 1

虽然理论上有一些算法可以让你做这些事情，但由于以下几个原因，将它们应用到 Ruby 上会很困难：

1. Ruby 没有将这些功能作为内置函数提供，因为 Ruby 的正则表达式的目标是匹配文本，而不是执行有限状态自动机的理论操作。
2. Ruby 不会公开其正则表达式的内部结构以供您运行自己的算法。 （虽然您可以使用inspect 来获取正则表达式的原始形式，但您必须自己解析它才能对正则表达式进行任何分析。）
3. Ruby 的正则表达式不是“真正的”正则表达式。多亏了与捕获组一起使用的反向引用，它们可以识别正则语言的超集（尽管它只是上下文无关语言的一个子集），因此该理论与 Ruby 正则表达式的功能无法完美匹配。