Learning Top-Down Tree Transducers with Regular Domain Inspection - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Learning Top-Down Tree Transducers with Regular Domain Inspection

Adrien Boiret
  • Function : Author
  • PersonId : 958173
Aurélien Lemay
  • Function : Author
  • PersonId : 834816
Joachim Niehren


We study the problem of how to learn tree transformations on a given regular tree domain from a finite sample of input-output examples. We assume that the target tree transformation can be defined by a deterministic top-down tree transducer with regular domain inspection (DTOPi:reg). An RPNI style learning algorithm that solves this problem in polynomial time and with polynomially many examples was presented at Pods'2010, but restricted to the case of path-closed regular domains. In this paper, we show that this restriction can be removed. For this, we present a new normal form for DTOPi:reg by extending the Myhill-Nerode theorem for DTOP to regular domain inspections in a nontrivial manner. The RPNI style learning algorithm can also be lifted but becomes more involved too.
Fichier principal
Vignette du fichier
0.pdf (374.78 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01357186 , version 1 (29-08-2016)


  • HAL Id : hal-01357186 , version 1


Adrien Boiret, Aurélien Lemay, Joachim Niehren. Learning Top-Down Tree Transducers with Regular Domain Inspection. International Conference on Grammatical Inference 2016, Oct 2016, Delft, Netherlands. ⟨hal-01357186⟩
163 View
82 Download


Gmail Mastodon Facebook X LinkedIn More