带存储的加权正则树文法
摘要：加权正则树语法的存储介绍了使用(a)带有存储的正则树语法和(b)多运算符幺半群上的加权树自动机的组合。每个带存储的加权正则树语法生成一个加权树语言，它是从树集合到多运算符幺半群的映射。我们证明，对于与特定强双幺半群规范相关联的多运算符幺半群，所生成的加权树语言的支持可以由（无权重的）带存储的正则树语法生成。我们通过三个基本概念的组合来表征所有生成的加权树语言的类。此外，我们证明了关于消除链规则和有限存储类型的结果，并通过新的加权MSO逻辑来表征带存储的加权正则树语法。
作者：Zolt''an F"ul"op and Luisa Herrmann and Heiko Vogler
论文ID：1705.06681
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22