Tree Pushdown Automata.

Karl M. Schimpf Jean H. Gallier

Published in: J. Comput. Syst. Sci. (1985)

Keyphrases

tree automata
tree structure
cellular automata
finite state
model checking
markov decision processes
finite automata
tree models
real time
bayesian networks
search algorithm
hierarchical structure