Symbolic tree automata.

Margus Veanes Nikolaj Bjørner

Published in: Inf. Process. Lett. (2015)

Keyphrases

tree automata
regular expressions
finite state
finite automata
tree languages
syntactic pattern recognition
query language
context free grammars
finite automaton
expressive power
monadic second order logic
database
machine learning
production system
context sensitive
regular tree languages