Regulated Pushdown Automata.

Alexander Meduna Dusan Kolár

Published in: Acta Cybern. (2000)

Keyphrases

finite state
cellular automata
model checking
finite automata
finite state machines
probabilistic automata
regular expressions
tree automata
databases
formal language theory
database
neural network
artificial intelligence
decision making
automata theoretic