Streaming Tree Automata - Archive ouverte HAL Access content directly
Journal Articles Information Processing Letters Year : 2008

Streaming Tree Automata

(1) , (1) , (1)
1

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⟩
235 View
517 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More