Alternating Weak Automata from Universal Trees.

Laure Daviaud Marcin Jurdzinski Karoliina Lehtinen

Published in: CONCUR (2019)

Keyphrases

tree automata
turing machine
decision trees
cellular automata
finite automata
regular expressions
neural network
finite state
tree structure
tree construction
state space
phylogenetic trees
search algorithm
knowledge base
tree models
real time
kolmogorov complexity
lattice gas