符号树转录器的前向和后向应用
摘要：关于符号树自动机（STA）和符号树转换器（STT）的研究 用（经典的）可认别的树语言和重标记来表征s-可认别的树语言（即STA可以识别的树语言） 我们证明了STA和最近引入的变量树自动机在识别能力方面是不可比较的 我们定义了符号正则树语法，并用正则树语言和重标记来表征s-正则树语言 因此，我们得出结论s-可认别的树语言与s-正则树语言是相同的 我们展示了两个STT的句法复合计算每个STT所计算的树转换的复合，前提是（1）第一个是确定性的或者第二个是线性的，（2）第一个是总的或者第二个是非删除的 我们考虑STT的正向应用和反向应用，并证明STT的反向应用到任何s-可认别的树语言都会产生一个s-可认别的树语言 我们给出一个范围不是s-可认别的树语言的线性STT 我们展示了简单的和线性的STT的前向应用可以保持s-可认别性 作为推论，我们得出简单和线性STT的类型检查问题以及任意STT的逆类型检查问题是可判定的。
作者：Zolt''an F"ul"op and Heiko Vogler
论文ID：1208.5324
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-08-28