The dual equivalence of equations and coequations for automata.

Adolfo Ballester-Bolinches Enric Cosme-Llópez Jan J. M. M. Rutten

Published in: Inf. Comput. (2015)

Keyphrases

mathematical model
finite automata
cellular automata
primal dual
probabilistic automata
differential equations
regular expressions
finite state machines
finite state
linear systems
database
databases
image sequences
linear equations
algebraic equations
lattice gas