A Kleene theorem for weighted tree automata over tree valuation monoids.

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

Published in: Inf. Comput. (2019)

Keyphrases

tree automata
regular expressions
finite automata
pattern matching
tree languages
query language
ordered trees
finite state
finite automaton
syntactic pattern recognition
propositional logic
matching algorithm
xml schema
learning algorithm
query evaluation
object oriented
monadic second order logic