ACME: Automata with Counters, Monoids and Equivalence.

Nathanaël Fijalkow Denis Kuperberg

Published in: ATVA (2014)

Keyphrases

cellular automata
finite automata
probabilistic automata
finite state
regular expressions
finite state machines
tree automata
neural network
information systems
real time
information retrieval
artificial intelligence
multiscale
rough sets
finite state automata
lattice gas