Streaming Tree Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Information Processing Letters Year : 2008

Streaming Tree Automata

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
260 View
576 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More