Arbology: Trees and Pushdown Automata.

Borivoj Melichar

Published in: LATA (2010)

Keyphrases

tree automata
decision trees
cellular automata
finite automata
finite state
tree structure
model checking
tree construction
expert systems
probabilistic automata
multiresolution
finite state machines
search algorithm
data structure
clustering algorithm
machine learning
binary trees
labeled trees
real time