A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids.

Manfred Droste Zoltán Fülöp Doreen Götze

Published in: LATA (2016)

Keyphrases

tree automata
regular expressions
finite automata
pattern matching
tree languages
finite state
query language
ordered trees
xml schema
syntactic pattern recognition
propositional logic
query evaluation
finite automaton
low level
sufficient conditions
semantic representation