On the amount of non-determinism in pushdown in pushdown automata.

Dirk Vermeir Walter J. Savitch

Published in: Fundam. Informaticae (1981)

Keyphrases

model checking
finite state
artificial intelligence
decision trees
information retrieval
e learning
support vector machine
cellular automata
finite state machines