Alternating Pushdown Automata (Preliminary Report)

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

Published in: FOCS (1978)

Keyphrases

finite state
cellular automata
model checking
finite automata
lattice gas
probabilistic automata
tree automata
finite state machines
timed automata
data sets
regular expressions
artificial neural networks
feature selection
markov chain
search engine
data mining
neural network
regular languages
databases