Keyphrases
- context free grammars
- higher order
- grammatical inference
- context free
- equational theories
- natural language
- syntactic pattern recognition
- finite state automata
- theorem prover
- mildly context sensitive
- visual languages
- theorem proving
- grammar induction
- databases
- tree grammars
- parse selection
- tree adjoining
- natural language processing
- information extraction
- expert systems
- database