Synchronizable Deterministic Pushdown Automata and the Decidability of their Equivalence.
Karel Culík IIJuhani KarhumäkiPublished in: Acta Informatica (1986)
Keyphrases
- finite state automaton
- automata theoretic
- turing machine
- query containment
- model checking
- cellular automata
- description logics
- deterministic finite automata
- temporal logic
- regular expressions
- finite state
- query answering
- finite state machines
- real time
- finite automata
- decision procedures
- black box
- conjunctive queries
- randomized algorithms
- relaxation algorithm
- state space
- probabilistic automata
- knowledge base
- neural network