The Emptiness Problem for Automata on Infinite Trees

R. Hossley Charles Rackoff

Published in: SWAT (1972)

Keyphrases

tree automata
regular expressions
finite automata
regular languages
finite state
tree languages
finite automaton
decision trees
context free grammars
cellular automata
lattice gas
finite state machines
hidden markov models
search algorithm
labeled trees
similarity measure
data mining