Automata Mista.

Gérard P. Huet

Published in: Verification: Theory and Practice (2003)

Keyphrases

cellular automata
finite automata
finite state machines
probabilistic automata
lattice gas
finite state
data structure
tree automata
database
machine learning
search algorithm
evolutionary algorithm
markov chain