Rewrite Closure and CF Hedge Automata - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2012

Rewrite Closure and CF Hedge Automata

Résumé

We introduce an extension of hedge automata called bidimensional context-free hedge automata, proposing a new uniform representation of vertical and horizontal computation steps in unranked ordered trees. The class recognized languages is shown to be preserved by rewrite closure with inverse-monadic rules. We also extend the parameterized rewriting rules used for modeling the W3C XQuery Update Facility in previous works, by the possibility to insert a new parent node above a given node. We show that the rewrite closure of hedge automata languages with these extended rewriting systems are context-free hedge languages.
Fichier principal
Vignette du fichier
CFHA.pdf (356.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00752496 , version 1 (15-11-2012)
hal-00752496 , version 2 (16-11-2012)

Identifiants

  • HAL Id : hal-00752496 , version 1

Citer

Florent Jacquemard, Michaël Rusinowitch. Rewrite Closure and CF Hedge Automata. 2012. ⟨hal-00752496v1⟩
318 Consultations
447 Téléchargements

Partager

More