A New Typee of Pushdown Automata on Infinite Trees.

Wuxu Peng S. Purushothaman Iyer

Published in: Int. J. Found. Comput. Sci. (1995)

Keyphrases

tree automata
finite automata
regular languages
finite state
cellular automata
decision trees
model checking
regular expressions
finite state machines
tree structure
neural network
markov chain
tree languages
tree nodes
tree models
information systems
social networks