Two Decidability Results for Deterministic Pushdown Automata.
Matti LinnaPublished in: J. Comput. Syst. Sci. (1979)
Keyphrases
- finite state automaton
- automata theoretic
- turing machine
- model checking
- finite state
- description logics
- temporal logic
- finite state machines
- cellular automata
- deterministic finite automata
- timed automata
- query answering
- neural network
- lower bound
- information retrieval
- deterministic automata
- decision trees
- lattice gas
- search algorithm
- tree automata
- decision procedures
- state space
- regular expressions
- expressive power
- hidden markov models
- data management