如何判断一个正则表达式是否匹配另一个正则表达式的子集？

如何判断一个正则表达式是否匹配另一个正则表达式的子集？

我认为-从理论上讲，要判断正则表达式是否

A

与正则表达式匹配的子集

B

，算法可以：

1. 计算

   B

   “联合”的最小确定性有限自动机

   A|B

   。
2. 检查两个DFA是否相同。当且仅当A匹配B匹配的子集时，这才成立。

但是，在实践中这样做可能是一个重大项目。有诸如
从正则表达式构造最小状态DFA之类的解释，

但它们仅倾向于考虑数学上纯 的正则表达式
。为了方便起见，您还必须处理Python添加的扩展。此外，如果任何扩展名导致语言不规则（我不确定是否是这种情况），则可能无法处理这些扩展名。

但是你想做什么？也许有一种更简单的方法…？