Keyphrases
- context free
- natural language
- higher order
- theorem proving
- context dependent
- context free grammars
- context sensitive
- grammatical inference
- graph grammars
- formal language theory
- natural language sentences
- production rules
- equational theories
- formal languages
- broad coverage
- grammar rules
- finite state
- data sets
- co occurrence
- hidden markov models
- expert systems
- multiscale
- artificial intelligence
- databases