On Stateless Two-Pushdown Automata and Restarting Automata.

Martin Kutrib Hartmut Messerschmidt Friedrich Otto

Published in: Int. J. Found. Comput. Sci. (2010)

Keyphrases

finite automata
cellular automata
probabilistic automata
finite state
finite state machines
regular expressions
computer vision
multi agent
data structure
timed automata
lattice gas
real time
model checking
special case
expert systems
search algorithm
objective function
neural network