线性扩展自顶向下树转换器的组合闭包
摘要:线性扩展的自上而下树转换器(或同步树替换语法)是流行的树变换的形式模型。探讨了这种转换器与和不带正则向前看的组合的表达能力。特别考虑了非删除、无ε和严格性的限制。所有ε无关(所有规则都消耗输入)的这种转换器的组合层次结构是有限的,除了非删除无ε的线性扩展自上而下树转换器。给出了构成任意组合的全表达能力所需的最小转换器数量。在所有其他情况下(包括非删除无ε的线性扩展自上而下树转换器),组合层次结构不会崩溃。
作者:Zolt''an F"ul"op and Andreas Maletti
论文ID:1301.1514
分类:Formal Languages and Automata Theory
分类简称:cs.FL
提交时间:2013-01-09