Algebraic Specification and Coalgebraic Synthesis of Mealy Automata.

Jan J. M. M. Rutten

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

cellular automata
specification language
program synthesis
high level
formal languages
neural network
finite state machines
finite automata
asynchronous circuits
data mining
learning algorithm
real time
image sequences
finite state automata
provably correct
lattice gas