Properties of Visibly Pushdown Transducers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Properties of Visibly Pushdown Transducers

Résumé

Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. It has been shown that visibly pushdown languages form a robust subclass of context-free languages. Along the same line, we show that word transductions defined by VPTs enjoy strong properties, in contrast to PTs. In particular, functionality is decidable in PTime, k-valuedness is in NPTime and equivalence of (non-deterministic) functional VPTs is ExpTime-C. Those problems are undecidable for PTs. Output words of VPTs are not necessarily well-nested. We identify a general subclass of VPTs that produce well-nested words, which is closed by composition, and for which the type checking problem is decidable.
Fichier principal
Vignette du fichier
vpts-mfcs.pdf (145.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00492241 , version 1 (15-06-2010)
inria-00492241 , version 2 (19-06-2010)

Identifiants

  • HAL Id : inria-00492241 , version 2

Citer

Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot. Properties of Visibly Pushdown Transducers. 35th International Symposium on Mathematical Foundations of Computer Science, Aug 2010, Brno, Czech Republic. ⟨inria-00492241v2⟩
216 Consultations
269 Téléchargements

Partager

Gmail Facebook X LinkedIn More