我认为-从理论上讲，要判断正则表达式是否
A与正则表达式匹配的子集
B，算法可以：
- 计算
B
“联合”的最小确定性有限自动机A|B
。 - 检查两个DFA是否相同。当且仅当A匹配B匹配的子集时，这才成立。
但是，在实践中这样做可能是一个重大项目。有诸如
从正则表达式构造最小状态DFA之类的解释，
但它们仅倾向于考虑数学上纯 的正则表达式
。为了方便起见，您还必须处理Python添加的扩展。此外，如果任何扩展名导致语言不规则（我不确定是否是这种情况），则可能无法处理这些扩展名。
但是你想做什么？也许有一种更简单的方法…？
