On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.
Nutan LimayeMeena MahajanAntoine MeyerPublished in: CSR (2008)
Keyphrases
- cellular automata
- database
- databases
- finite state
- space complexity
- computational complexity
- worst case
- model checking
- finite state automaton
- probabilistic automata
- finite automata
- complexity analysis
- black box
- decision problems
- fuzzy logic
- decision trees
- clustering algorithm
- information retrieval
- machine learning
- neural network
- real time