树表达式的自底向上导数
摘要：扩展树导数至树导数。使用已知的商的归纳公式，我们定义了一新的扩展正则树表达式家族（使用否定或交集运算符），并展示了如何计算类似于Brzozowski的归纳树自动机；当其存在时，这一构造的不动点即为导数树自动机。这样的确定性树自动机可以高效解决成员测试问题：并非必须计算整个结构，而且导数计算可以并行执行。我们还展示了如何使用我们的（自底向上）局部导数来解决成员测试问题，而无需计算自动机。
作者：Samira Attou, Ludovic Mignot and Djelloul Ziadi
论文ID：2107.13373
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-07-29