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
0.pdf (141.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

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

Licence

Identifiants

Citer

Olivier Gauwin, Joachim Niehren, Yves Roos. Streaming Tree Automata. Information Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩. ⟨inria-00288445v3⟩
554 Consultations
965 Téléchargements

Altmetric

Partager

  • More