正则树语言的代数可识别性
摘要：对可识别树语言进行讨论和分类的一个新的代数框架的提出，并对这些语言的有趣类别进行了描述。我们的代数工具称为preclones，包含了经典的语法sigma代数或最小树自动机的概念，并为其增加了新的表达能力。本文的主要结果是一个类似于Eilenberg的各样性定理，但我们还讨论了可识别树语言的重要例子，这些例子的特征和可判定性已经在最近的论文中得到了确定（由Benedikt和Segoufin以及Bojanczyk和Walukiewicz），并可以自然地用preclones的伪性类来表述。最后，本文为同一作者的另一篇论文奠定了基础，在这篇论文中，一阶可定义的树语言得到了代数特征化。
作者：Zoltan Esik, Pascal Weil (LaBRI)
论文ID：cs/0609113
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2007-05-23