Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem.

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

Keyphrases

tree automata
decision trees
regular languages
regular expressions
finite automata
cellular automata
real time
finite sets
finite state
decision problems
finite state machines
tree structure
finite dimensional
optimal policy
von neumann
database systems
set valued
tree models
databases
database