Automata and Coinduction (An Exercise in Coalgebra).

Jan J. M. M. Rutten

Published in: CONCUR (1998)

Keyphrases

cellular automata
finite automata
probabilistic automata
regular expressions
finite state machines
lattice gas
tree automata
finite state
data structure
formal language theory
machine learning
regular languages
artificial neural networks
multi agent
database systems
image segmentation
search engine