面向进阶场景的正则结构工具：查看 AST 结构树与 JSON，进行正则合并、分支去重与表达式简化，并通过样本等价分析给出改前改后对照。无法证明等价时不会自动修改原表达式。
当正则变得复杂时，结构化分析能帮助理解与维护。本工具先展示 AST 结构树与 JSON，便于查看分组、量词与分支的层级。
合并功能把两条正则组合为或关系；去重功能对顶层分支做字符串去重，减少冗余。
简化功能应用一组可安全识别的替换（如 [0-9] → \d、{1,} → +），并在改动后与原文做样本等价分析：用生成的匹配、不匹配与边界样本逐一比对两者行为。
若样本上出现行为差异，会明确提示“不等价”；即使样本一致，也只表示“在样本上等价”，不构成形式化证明，是否采用由你决定。
Q：简化和优化会改变语义吗？
工具只应用可安全识别的等价替换，并通过样本等价分析对比；一旦发现差异会提示不等价，且不会自动覆盖原表达式。
Q：“样本等价”等于完全等价吗？
不等于。它表示在测试样本上两者行为一致，属于经验验证；形式化等价证明不在本工具范围内。
Q：合并正则需要什么条件？
合并为或关系，请确认两条正则的锚点与优先级在合并后仍符合预期，必要时用非捕获组包裹。
继续使用本站其它正则工具：
