Deterministic input-driven queue automata: Finite turns, decidability, and closure properties.
Martin KutribAndreas MalcherCarlo MereghettiBeatrice PalanoMatthias WendlandtPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- closure properties
- tree automata
- expressive power
- finite automata
- context free grammars
- regular expressions
- conjunctive queries
- context free
- query answering
- finite state
- query language
- markov chain
- finite state automaton
- fluid model
- queue length
- steady state
- grammatical inference
- first order logic
- np complete
- database systems
- machine learning