Arbology: Trees and pushdown automata.

Borivoj Melichar Jan Janousek Tomás Flouri

Published in: Kybernetika (2012)

Keyphrases

tree automata
finite state
decision trees
cellular automata
regular expressions
model checking
finite automata
timed automata
binary tree
tree patterns
lattice gas
database
unordered trees
context free
tree structure
structured data
association rules
data structure
search engine
genetic algorithm
machine learning