带有同步计数的正则模式快速匹配（技术报告）
摘要：正则表达式的快速匹配在限制重复（如(ab){50,100}）的情况下，并且与文本长度成线性关系并且与重复次数无关，至少已经是一个未解问题了二十年。我们展示了对于一类被称为同步的具有计数的正则表达式，快速匹配是可能的。我们凭经验表明，这个类别涵盖了几乎所有常见的正则表达式匹配应用中的计数。这个复杂性结果是基于对最近将正则表达式编译成确定计数集自动机（保持数字集合的寄存器的自动机）的匹配算法的改进和分析。
作者：Luk''av{s} Hol''ik, Juraj S''iv{c}, Lenka Turov{n}ov''a, Tom''av{s} Vojnar
论文ID：2301.12851
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-01-31