The Complexity of Checking Non-Emptiness in Symbolic Tree Automata.

Published in: CoRR (2023)

Keyphrases

tree automata
regular expressions
finite state
finite automata
finite automaton
tree languages
syntactic pattern recognition
database
positive and negative
context free grammars