A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids.

Zoltán Fülöp Andreas Maletti Heiko Vogler

Published in: Theory Comput. Syst. (2009)

Keyphrases

tree automata
regular expressions
finite automata
pattern matching
query language
syntactic pattern recognition
finite state
propositional logic
finite automaton
tree languages
query evaluation
xml schema
relational databases
databases