A Learning Algorithm for Top-Down Tree Transducers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

A Learning Algorithm for Top-Down Tree Transducers

Adrien Boiret
  • Fonction : Auteur
  • PersonId : 958173
Aurélien Lemay
  • Fonction : Auteur
  • PersonId : 958887
Joachim Niehren

Résumé

A generalization from string to trees and from languages to transformations is given of the classical result that any regular language can be learned from annotated examples: we show how to learn top-down deterministic tree transducers (DTOPs) in Gold's model with polynomial resources from samples of input-output examples, while assuming a top-down schema for the input domain. Until now, similar results were known only for string transducers, sequential tree-to-word transducers, and simple relabeling tree transducers. Learning of DTOPs is more involved because a DTOP can copy, delete, and permute its input subtrees. Thus, complex dependencies of labeled input to output paths need to be maintained by the algorithm. First, a Myhill-Nerode theorem is presented for DTOPs with top-down inspection, which characterizes the unique normal forms of such machines from Engelfriet, Maneth, Seidl 2009 in a purely semantical manner. This theorem is then used to construct a learning algorithm for DTOPs with top-down inspection. Finally, it is shown how our result can be applied to learn XML transformations reminicent to XSLT programs, under the assumption that the schema for the domain of input trees is a DTD or an XML Schema. For this, a new schema-based encoding of unranked trees by ranked ones is presented. Over such encodings, DTOPs can realize many practically interesting XML transformations which cannot be realized on first-child/next-sibling encodings. This article extends on a paper presented at PODS’2010.
Fichier principal
Vignette du fichier
0.pdf (836.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01357627 , version 1 (21-07-2017)

Identifiants

  • HAL Id : hal-01357627 , version 1

Citer

Adrien Boiret, Aurélien Lemay, Joachim Niehren. A Learning Algorithm for Top-Down Tree Transducers. 2017. ⟨hal-01357627⟩
425 Consultations
93 Téléchargements

Partager

Gmail Facebook X LinkedIn More