Decomposing port automata.

Christian Koehler Dave Clarke

Published in: SAC (2009)

Keyphrases

cellular automata
finite automata
probabilistic automata
tree automata
finite state machines
finite state
regular expressions
artificial intelligence
medical images
probabilistic model
data model
feature space
search algorithm
databases
finite automaton
lattice gas
formal language theory