Alternating Tree Automata.

Published in: Theor. Comput. Sci. (1985)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
context free grammars
ordered trees
context free
database
databases
pattern matching
finite automaton
monadic second order logic
regular tree languages