A Kleene Theorem for Weighted Tree Automata.

Manfred Droste Christian Pech Heiko Vogler

Published in: Theory Comput. Syst. (2005)

Keyphrases

tree automata
regular expressions
finite automata
pattern matching
query language
finite state
syntactic pattern recognition
tree languages
finite automaton
xml schema
context free grammars
propositional logic
sufficient conditions
expert systems
query evaluation
matching algorithm
dynamic programming
database