可见推动转换器的表达能力
摘要：可见下推转换器 (Visibly pushdown transducers, VPTs) 是将可见下推自动机与输出结合的一种形式。它们被引入来模拟嵌套字的转换，即具有调用/返回结构的字。由于树和更一般的约束可以被线性化为（好的）嵌套字，VPTs 是一种自然的形式化方法来表示流式评估的树转换。本文旨在准确地描述 VPTs 与其他树转换模型之间的表达能力。
作者：Mathieu Caralp (Aix-Marseille Universit''e and CNRS), Emmanuel Filiot (Universit''e Libre de Bruxelles), Pierre-Alain Reynier (Aix-Marseille Universit''e and CNRS), Fr''ed''eric Servais (Hasselt University and transnational University of Limburg), Jean-Marc Talbot (Aix-Marseille Universit''e and CNRS)
论文ID：1311.5571
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-11-25