Keyphrases
- context free
- finite state automata
- grammatical inference
- context free grammars
- finite state
- finite automata
- decision diagrams
- first order logic
- context sensitive
- context dependent
- regular languages
- higher order
- cellular automata
- regular expressions
- natural language
- phrase structure
- model checking
- inductive inference
- tree automata
- visual languages
- stochastic dominance
- finite state machines
- expressive power
- stochastic grammar
- probabilistic automata
- knowledge base
- mildly context sensitive
- parse selection
- lattice gas
- linear temporal logic
- stochastic context free grammars
- data model
- query language
- grammar rules
- natural language processing
- markov decision processes
- temporal logic