• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
        • Deftreeops
        • Defdefparse
        • Defgrammar
        • Tree-utilities
        • Notation
        • Grammar-parser
        • Meta-circular-validation
        • Parsing-primitives-defresult
        • Parsing-primitives-seq
        • Operations
        • Examples
          • Pdf-example
          • Smtp-example
          • Imap-example
          • Http-example
          • Uri-example
          • Imf-example
        • Differences-with-paper
        • Constructor-utilities
        • Grammar-printer
        • Parsing-tools
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • Proof-checker-array
      • Soft
      • C
      • Farray
      • Rp-rewriter
      • Instant-runoff-voting
      • Imp-language
      • Sidekick
      • Leftist-trees
      • Java
      • Taspi
      • Bitcoin
      • Riscv
      • Des
      • Ethereum
      • X86isa
      • Sha-2
      • Yul
      • Zcash
      • Proof-checker-itp13
      • Regex
      • ACL2-programming-language
      • Json
      • Jfkr
      • Equational
      • Cryptography
      • Poseidon
      • Where-do-i-place-my-book
      • Axe
      • Bigmems
      • Builtins
      • Execloader
      • Aleo
      • Solidity
      • Paco
      • Concurrent-programs
      • Bls12-377-curves
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Abnf

Examples

Some real-world examples of ABNF grammars.

We take some real-world ABNF grammars, copied and pasted from official standards, and show that they are successfully processed by the parser and abstractor. We also demonstrate the use of some operations on these grammars.

Subtopics

Pdf-example
An ABNF grammar of a subset of the PDF (Portable Document Format) syntax.
Smtp-example
The ABNF grammar of the SMTP (Simple Mail Transfer Protocol) syntax.
Imap-example
The ABNF grammar of the IMAP (Internet Message Access Protocol) 4rev1 syntax.
Http-example
The ABNF grammar of the HTTP (Hypertext Transfer Protocol) 1.1 syntax.
Uri-example
The ABNF grammar of the URI (Uniform Resource Identifier) syntax.
Imf-example
The ABNF grammar of the IMF (Internet Message Format) syntax.