Showing cs.FLShow all
2 papers · 1 filter
cs.FL2025
Shape Preserving Tree Transducers
Paul Gallot, Sebastian Maneth
It is shown that shape preservation is decidable for top-down tree transducers, bottom-up tree transducers, and for compositions of total deterministic macro tree transducers. More…
cs.FL2024
Attributed Tree Transducers for Partial Functions
Sebastian Maneth, Martin Vu
Attributed tree transducers (atts) have been equipped with regular look-around (i.e., a preprocessing via an attributed relabeling) in order to obtain a more robust class of transl…