Streaming Tree Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2008

Streaming Tree Automata

Résumé

Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the two main approaches, which have not been linked so far: automata for nested words or equivalently visibly pushdown automata, and respectively pushdown forest automata.
Fichier principal
Vignette du fichier
sta.pdf (247.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00288445 , version 1 (17-07-2008)
inria-00288445 , version 2 (15-08-2008)
inria-00288445 , version 3 (01-09-2008)

Identifiants

  • HAL Id : inria-00288445 , version 1

Citer

Olivier Gauwin, Joachim Niehren, Yves Roos. Streaming Tree Automata. Information Processing Letters, 2008. ⟨inria-00288445v1⟩
261 Consultations
576 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More