Some modifications of auxiliary pushdown automata.

Gerhard Buntrock Frank Drewes Clemens Lautemann Till Mossakowski

Published in: RAIRO Theor. Informatics Appl. (1991)

Keyphrases

model checking
cellular automata
finite state machines
finite state
finite automata
information retrieval
tree automata
image processing
training data
bayesian networks
probabilistic automata
artificial intelligence
database systems
face recognition
markov decision processes