Keyphrases
- higher order
- natural language
- theorem proving
- finite state automata
- broad coverage
- context free grammars
- data sets
- equational theories
- wide coverage
- execution traces
- stochastic context free grammars
- formal languages
- graph grammars
- theorem prover
- production rules
- grammatical inference
- context free
- context dependent
- grammar rules
- word order
- natural language processing
- information extraction
- data structure
- information systems
- artificial intelligence
- real time
- tree grammars