Reversible pushdown automata.

Martin Kutrib Andreas Malcher

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

cellular automata
markov chain
finite state
lattice gas
probabilistic automata
model checking
regular expressions
finite automata
finite state machines
feature selection
relational databases
finite state automata
genetic algorithm
three dimensional