Keyphrases
- higher order
- grammatical inference
- context free grammars
- visual languages
- natural language
- lambda calculus
- context free
- context free languages
- mildly context sensitive
- tree grammars
- theorem proving
- equational theories
- real time
- theorem prover
- finite state automata
- phrase structure
- syntactic pattern recognition
- databases
- context sensitive
- search algorithm
- clustering algorithm
- learning algorithm
- stochastic grammar