Keyphrases
- finite state automaton
- turing machine
- automata theoretic
- description logics
- cellular automata
- model checking
- finite state machines
- deterministic finite automata
- finite state
- temporal logic
- query answering
- neural network
- finite automata
- real time
- probabilistic automata
- databases
- state space
- special case
- search algorithm
- decision procedures
- tree automata
- knowledge base
- finite state automata
- relaxation algorithm
- formal language theory
- deterministic automata
- data sets