Alternation Bounded Auxiliary Pushdown Automata

Richard E. Ladner Larry J. Stockmeyer Richard J. Lipton

Published in: Inf. Control. (1984)

Keyphrases

cellular automata
finite state
model checking
finite state machines
database
finite automata
information retrieval
lattice gas
probabilistic automata
regular expressions
decision making
neural network
hidden markov models
objective function
continuous functions
timed automata
databases
data sets