Sciweavers

43 search results - page 1 / 9
» Minimizing Tree Automata for Unranked Trees
Sort
View
JCSS
2007
107views more  JCSS 2007»
13 years 4 months ago
On the minimization of XML Schemas and tree automata for unranked trees
Automata for unranked trees form a foundation for XML schemas, querying and pattern languages. We study the problem of efficiently minimizing such automata. First, we study unrank...
Wim Martens, Joachim Niehren
DBPL
2005
Springer
93views Database» more  DBPL 2005»
13 years 10 months ago
Minimizing Tree Automata for Unranked Trees
Wim Martens, Joachim Niehren
FCT
2005
Springer
13 years 10 months ago
Deterministic Automata on Unranked Trees
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
Julien Cristau, Christof Löding, Wolfgang Tho...
MST
2011
206views Hardware» more  MST 2011»
12 years 11 months ago
Weighted Logics for Unranked Tree Automata
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
Manfred Droste, Heiko Vogler
RTA
2004
Springer
13 years 10 months ago
Querying Unranked Trees with Stepwise Tree Automata
The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata c...
Julien Carme, Joachim Niehren, Marc Tommasi