15 citations · 79 across the 28 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016★ 6 cited
Two-Way Visibly Pushdown Automata and Transducers
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier +1
Automata-logic connections are pillars of the theory of regular languages. Such connections are harder to obtain for transducers, but important results have been obtained recently…
cs.FL2016
On Equivalence and Uniformisation Problems for Finite Transducers
Emmanuel Filiot, Ismaël Jecker, Christof Löding +1
Transductions are binary relations of finite words. For rational transductions, i.e., transductions defined by finite transducers, the inclusion, equivalence and sequential uniform…