Deterministic Automata for Unordered Trees
Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which makes it difficult to distinguish subclasses of au...
Main Authors: | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1408.5966v1 |
Similar Items
-
The first-order theory of ordering constraints over feature trees
by: Martin Müller, et al.
Published: (2001-12-01) -
Unordered tree contraction
by: WANG,ZHEN-ZHONG, et al.
Published: (1990) -
Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
by: Hugot, Vincent
Published: (2013) -
Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
by: Hugot, Vincent
Published: (2013) -
Hyper-Minimization for Deterministic Weighted Tree Automata
by: Andreas Maletti, et al.
Published: (2014-05-01)