Pushdown Automata with Counters.

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

Keyphrases

finite state
model checking
cellular automata
finite automata
finite state machines
lattice gas
probabilistic automata
floating point
tree automata
timed automata
formal language theory
finite state automata
neural network
turing machine
multi agent systems
formal languages
data streams
social networks
real time