Guaranteeing Parsing Termination of Unification Grammars.
Efrat JaegerNissim FrancezShuly WintnerPublished in: COLING (2002)
Keyphrases
- mildly context sensitive
- grammatical inference
- context free grammars
- syntactic pattern recognition
- context free
- term rewriting
- theorem proving
- knuth bendix
- higher order
- rewrite systems
- natural language
- theorem prover
- tree adjoining
- graph grammars
- automated theorem proving
- visual languages
- equational theories
- natural language parsing
- phrase structure
- grammar induction
- dependency parsing
- chinese word segmentation
- tree bank
- grammar rules
- production rules
- natural language processing