线性扩展自顶向下树转换器的组合闭包

摘要:线性扩展的自上而下树转换器(或同步树替换语法)是流行的树变换的形式模型。探讨了这种转换器与和不带正则向前看的组合的表达能力。特别考虑了非删除、无ε和严格性的限制。所有ε无关(所有规则都消耗输入)的这种转换器的组合层次结构是有限的,除了非删除无ε的线性扩展自上而下树转换器。给出了构成任意组合的全表达能力所需的最小转换器数量。在所有其他情况下(包括非删除无ε的线性扩展自上而下树转换器),组合层次结构不会崩溃。

作者:Zolt''an F"ul"op and Andreas Maletti

论文ID:1301.1514

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2013-01-09

PDF 下载: 英文版 中文版pdf翻译中