根加权树自动机及其在树核函数中的应用
摘要：根据最终状态支持的权重定义了一种新型的加权树自动机。我们展示了这些自动机是可串行化的，并研究了它们在经典正则和代数操作下的闭包。然后，我们使用这些自动机以高效的方式计算两个有限树语言的子树核心。最后，我们提出了一些涉及根加权树自动机的展望。
作者：Ludovic Mignot, Nadia Ouali-Sebti and Djelloul Ziadi
论文ID：1501.03895
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2015-01-19