正则表达式引擎与匹配优化

这份文档介绍了 RE#，一种高性能的正则匹配引擎，其独特之处在于支持 交集 和 补集 等高级布尔运算，以及 受限的环视 功能。与传统依赖回溯的引擎不同，RE# 采用 基于导数的自动化 方法，实现了 输入线性复杂度，显著提升了匹配速度，尤其是在处理包含这些扩展功能的复杂模式时。文档还详细阐述了 RE# 的理论基础、实现细节、优化策略 以及 与现有最先进引擎的性能比较，证实了其在基准测试中优于其他引擎的卓越性能。此外，RE# 旨在通过提供更强大和更安全的正则表达能力，改变正则表达式在安全关键应用等领域的使用方式。