Regex导数DFA异常求助：基于Brzozowski理论的词法分析器故障排查

我正在开发一款基于正则表达式导数的DFA词法分析器，用于词素分词。该实现遵循Brzozowski导数理论，包含正则表达式简化与DFA转移逻辑，理论上应能精准运行，但实际遇到了若干异常：

• 输出结果偏离预期
• 生成多余的DFA状态
• 正则表达式未完成完全简化
• DFA转移行为不符合预期

我已记录完整推导历史用于问题追踪，但仍有隐藏的边缘案例未被识别。核心逻辑代码位于GitHub仓库的Library/Regex/Derivation/RegexDerivativeCalculator.cs文件中。

经进一步排查，发现某正则表达式简化步骤会错误移除DFA中的关键接受状态。例如正则表达式a|a(b)*在匹配字符'a'后，导数结果为ε|(b)*，原简化逻辑直接将其合并为(b)*，错误认为ε已被(b)*包含，但实际上ε对应的状态是识别'a'作为独立词素的关键接受状态。目前已移除该错误简化逻辑，现寻求Regex或DFA领域的开发者协助排查剩余潜在问题。

内容的提问来源于stack exchange，提问作者Jacques