Alternating Pushdown and Stack Automata.
Richard E. LadnerRichard J. LiptonLarry J. StockmeyerPublished in: SIAM J. Comput. (1984)
Keyphrases
- model checking
- finite state
- cellular automata
- finite automata
- finite state machines
- probabilistic automata
- timed automata
- tree automata
- regular expressions
- lattice gas
- information retrieval
- database systems
- formal language theory
- database
- finite state automaton
- relational databases
- data structure
- image segmentation
- neural network