Deciding Twig-definability of Node Selecting Tree Automata.

Timos Antonopoulos Dag Hovland Wim Martens Frank Neven

Published in: Theory Comput. Syst. (2015)

Keyphrases

tree automata
regular expressions
pattern matching
finite automata
monadic second order logic
finite state
tree languages
query evaluation
parent child
finite automaton
syntactic pattern recognition
markov chain
context free grammars
database
search space