13 citations · 38 across the 20 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 4 cited
Expressiveness of Visibly Pushdown Transducers
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier +2
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/…
cs.FL2013
From Two-Way to One-Way Finite State Transducers
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier +1
Any two-way finite state automaton is equivalent to some one-way finite state automaton. This well-known result, shown by Rabin and Scott and independently by Shepherdson, states t…