Sciweavers

6 search results - page 1 / 2
» Visibly Pushdown Transducers with Look-Ahead
Sort
View
SOFSEM
2012
Springer
12 years 1 months ago
Visibly Pushdown Transducers with Look-Ahead
Visibly Pushdown Transducers (VPT) form a subclass of pushdown transducers. In this paper, we investigate the extension of VPT with visibly pushdown look-ahead (VPTla). Their trans...
Emmanuel Filiot, Frédéric Servais
CORR
2011
Springer
169views Education» more  CORR 2011»
13 years 1 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
DLT
2006
13 years 7 months ago
Synchronization of Pushdown Automata
Abstract. We introduce the synchronization of a pushdown automaton by a sequential transducer associating an integer to each input word. The visibly pushdown automata are the autom...
Didier Caucal
MFCS
2010
Springer
13 years 4 months ago
Properties of Visibly Pushdown Transducers
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
Emmanuel Filiot, Jean-François Raskin, Pier...
CSR
2008
Springer
13 years 7 months ago
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
Abstract. While visibly pushdown languages properly generalise regular languages and are properly contained in deterministic context-free languages, the complexity of their members...
Nutan Limaye, Meena Mahajan, Antoine Meyer