Expressiveness of Visibly Pushdown Transducers

Autor: Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Jazyk: angličtina
Rok vydání: 2013
Předmět:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 134, Iss Proc. TTATT 2013, Pp 17-26 (2013)
Druh dokumentu: article
ISSN: 2075-2180
DOI: 10.4204/EPTCS.134.3
Popis: 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.
Databáze: Directory of Open Access Journals