Mathieu Caralp (Aix-Marseille Université & CNRS) |
Emmanuel Filiot (Université Libre de Bruxelles) |
Pierre-Alain Reynier (Aix-Marseille Université & CNRS) |
Frédéric Servais (Hasselt University and transnational University of Limburg) |
Jean-Marc Talbot (Aix-Marseille Université & CNRS) |
Visibly pushdown transducers (VPTs) are visibly pushdown automata extended with outputs. They have been introduced to model transformations of nested words, i.e. words with a call/return structure. As trees and more generally hedges can be linearized into (well) nested words, VPTs are a natural formalism to express tree transformations evaluated in streaming. This paper aims at characterizing precisely the expressive power of VPTs with respect to other tree transducer models. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.134.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |