Concrete-syntax
Concrete syntax of ABNF.
The concrete syntax of ABNF is specified, in [RFC:4],
using ABNF concrete syntax.
We break the circularity by formalizing the concrete syntax of ABNF
using the abstract syntax of ABNF.
Subtopics
- Parse-grammar*
- Parse a sequence of natural numbers as an ABNF grammar.
- Core-rules
- Core rules of ABNF.
- Concrete-syntax-validation
- Validation of the concrete syntax grammar.
- *grammar*
- Grammar of ABNF.
- Concrete-syntax-rules
- Rules that specify the concrete syntax of ABNF.
