Minimization of semilinear automata

Mikolaj Bojanczyk Slawomir Lasota

Published in: CoRR (2012)

Keyphrases

cellular automata
objective function
finite state
neural network
regular expressions
finite automata
lattice gas
convex minimization
database
information retrieval
decision making
model checking
finite state machines
tree automata
geometric interpretation