Decision problems of tree transducers with origin

Abstract : A tree transducer with origin translates an input tree into a pair of output tree and origin information. The origin information maps each node in the output tree to the unique node in the input tree that created it. In this way, the implementation of the transducer becomes part of its semantics. We show that the landscape of decidable properties changes drastically when origin information is added. For instance, equivalence of nondeterministic top-down and MSO transducers with origin becomes decidable. Both problems are undecidable without origin. The equivalence of deterministic top-down tree-to-string transducers is decidable with origin, while without origin it has (until very recently) been a long standing open problem. With origin, we can decide if a deterministic macro tree transducer can be realized by a deterministic top-down tree transducer; without origin this is an open problem.
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download
Contributor : Pierre-Alain Reynier <>
Submitted on : Monday, April 8, 2019 - 6:26:31 PM
Last modification on : Tuesday, April 9, 2019 - 1:22:58 AM
Long-term archiving on: Wednesday, July 10, 2019 - 12:18:46 PM


Files produced by the author(s)




Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot. Decision problems of tree transducers with origin. Information and Computation, Elsevier, 2018, 261, pp.311-335. ⟨10.1016/j.ic.2018.02.011⟩. ⟨hal-02093317⟩



Record views


Files downloads