A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars.
Alessandro CoglioPublished in: VSTTE (2018)
Keyphrases
- visual languages
- natural language
- phrase structure
- stochastic grammar
- natural language processing
- tree bank
- parse tree
- knowledge representation
- context free grammars
- dependency parsing
- natural language parsing
- grammatical inference
- grammar induction
- stochastic context free grammars
- tree structures
- context free
- noun phrases
- wide coverage
- parse selection
- formal model
- information extraction
- tree adjoining grammar
- syntactic pattern recognition
- semantic parsing