Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Nested Sibling Tree Automata

Françoise GireJean-Marc Talbot — 2009

RAIRO - Theoretical Informatics and Applications

In the XML standard, data are represented as unranked labeled ordered trees. Regular unranked tree automata provide a useful formalism for the validation of schemas enforcing regular structural constraints on XML documents. However some concrete application contexts need the expression of more general constraints than the regular ones. In this paper we propose a new framework in which context-free style structural constraints can be expressed and validated. This framework is characterized by: (i)...

Page 1

Download Results (CSV)