Minimization of Symbolic Tree Automata.

Loris D'Antoni Margus Veanes

Published in: LICS (2016)

Keyphrases

tree automata
regular expressions
finite automata
finite state
syntactic pattern recognition
context free grammars
tree languages
finite automaton
databases
markov chain
metadata
high level
database systems
matching algorithm
regular tree languages