Automata for Coalgebras: An Approach Using Predicate Liftings.

Gaëlle Fontaine Raul Andres Leal Yde Venema

Published in: ICALP (2) (2010)

Keyphrases

cellular automata
first order logic
probabilistic automata
finite automata
finite state machines
finite state
logic rules
lattice gas
data sets
finite state automata
formal languages
monotonicity constraints
formal language theory
image segmentation
finite automaton