Decision problems of tree transducers with origin - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2018

Decision problems of tree transducers with origin

Résumé

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.
Fichier principal
Vignette du fichier
InfComp18.pdf (499.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02093317 , version 1 (08-04-2019)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More