Complementation of Coalgebra Automata.

Christian Kissig Yde Venema

Published in: CALCO (2009)

Keyphrases

cellular automata
finite automata
finite state machines
finite state
tree automata
lattice gas
regular expressions
probabilistic automata
data sets
turing machine
real time
databases
learning algorithm
web services
search algorithm
user interface