Keyphrases
- formal language
- natural language
- context free grammars
- stochastic grammar
- broad coverage
- automated deduction
- production rules
- linguistic knowledge
- tree grammars
- formal languages
- finite state automata
- tree adjoining grammar
- natural language parsing
- computer algebra
- provably correct
- neural network
- relational databases
- machine learning