• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
    • Apt
    • Acre
    • Milawa
    • Smtlink
    • Aleobft
    • Abnf
      • Deftreeops
      • Defdefparse
      • Defgrammar
      • Abnf-tree-utilities
      • Notation
      • Grammar-parser
      • Meta-circular-validation
      • Parsing-primitives-defresult
      • Parsing-primitives-seq
      • Operations
      • Examples
        • Pdf-example
          • Pdf-cst-dict-value-conc?
          • Pdf-cst-dict-entry-conc?
          • Pdf-cst-list-list-conc-matchp$
          • Pdf-cst-list-list-alt-matchp$
          • Pdf-cst-list-rep-matchp$
          • Pdf-cst-list-elem-matchp$
          • Pdf-cst-startxref-marker-conc-rep-elem
          • Pdf-cst-reference-array-entry-conc
          • Pdf-cst-matchp$
          • Pdf-cst-endstream-marker-conc-rep-elem
          • Pdf-cst-dict-value-conc9-rep-elem
          • Pdf-cst-dict-value-conc8-rep-elem
          • Pdf-cst-dict-value-conc7-rep-elem
          • Pdf-cst-dict-value-conc6-rep-elem
          • Pdf-cst-dict-value-conc5-rep-elem
          • Pdf-cst-dict-value-conc4-rep-elem
          • Pdf-cst-dict-value-conc3-rep-elem
          • Pdf-cst-dict-value-conc2-rep-elem
          • Pdf-cst-dict-value-conc1-rep-elem
          • Pdf-cst-dict-entry-conc8-rep-elem
          • Pdf-cst-dict-entry-conc7-rep-elem
          • Pdf-cst-dict-entry-conc6-rep-elem
          • Pdf-cst-dict-entry-conc5-rep-elem
          • Pdf-cst-dict-entry-conc4-rep-elem
          • Pdf-cst-dict-entry-conc3-rep-elem
          • Pdf-cst-dict-entry-conc2-rep-elem
          • Pdf-cst-dict-entry-conc1-rep-elem
          • Pdf-cst-xref-marker-conc-rep-elem
          • Pdf-cst-trailer-marker-conc-rep-elem
          • Pdf-cst-trailer-marker-conc-rep
          • Pdf-cst-trailer-dictionary-conc
          • Pdf-cst-stream-marker-conc-rep-elem
          • Pdf-cst-startxref-marker-conc-rep
          • Pdf-cst-startxref-marker-conc
          • Pdf-cst-right-bracket-conc-rep-elem
          • Pdf-cst-reference-array-conc
          • Pdf-cst-left-bracket-conc-rep-elem
          • Pdf-cst-endstream-marker-conc-rep
          • Pdf-cst-endstream-marker-conc
          • Pdf-cst-endobj-marker-conc-rep-elem
          • Pdf-cst-dict-value-conc9-rep
          • Pdf-cst-dict-value-conc9
          • Pdf-cst-dict-value-conc8-rep
          • Pdf-cst-dict-value-conc8
          • Pdf-cst-dict-value-conc7-rep
          • Pdf-cst-dict-value-conc7
          • Pdf-cst-dict-value-conc6-rep
          • Pdf-cst-dict-value-conc6
          • Pdf-cst-dict-value-conc5-rep
          • Pdf-cst-dict-value-conc5
          • Pdf-cst-dict-value-conc4-rep
          • Pdf-cst-dict-value-conc4
          • Pdf-cst-dict-value-conc3-rep
          • Pdf-cst-dict-value-conc3
          • Pdf-cst-dict-value-conc2-rep
          • Pdf-cst-dict-value-conc2
          • Pdf-cst-dict-value-conc1-rep
          • Pdf-cst-dict-value-conc1
          • Pdf-cst-dict-entry-conc8-rep
          • Pdf-cst-dict-entry-conc8
          • Pdf-cst-dict-entry-conc7-rep
          • Pdf-cst-dict-entry-conc7
          • Pdf-cst-dict-entry-conc6-rep
          • Pdf-cst-dict-entry-conc6
          • Pdf-cst-dict-entry-conc5-rep
          • Pdf-cst-dict-entry-conc5
          • Pdf-cst-dict-entry-conc4-rep
          • Pdf-cst-dict-entry-conc4
          • Pdf-cst-dict-entry-conc3-rep
          • Pdf-cst-dict-entry-conc3
          • Pdf-cst-dict-entry-conc2-rep
          • Pdf-cst-dict-entry-conc2
          • Pdf-cst-dict-entry-conc1-rep
          • Pdf-cst-dict-entry-conc1
          • *pdf-grammar-rules*
          • Pdf-cst-xref-marker-conc-rep
          • Pdf-cst-xref-entry-conc
          • Pdf-cst-trailer-marker-conc
          • Pdf-cst-stream-marker-conc-rep
          • Pdf-cst-stream-marker-conc
          • Pdf-cst-start-dict-conc-rep-elem
          • Pdf-cst-start-dict-conc-rep
          • Pdf-cst-right-bracket-conc-rep
          • Pdf-cst-right-bracket-conc
          • Pdf-cst-pdf-marker-conc-rep-elem
          • Pdf-cst-pdf-marker-conc-rep
          • Pdf-cst-obj-marker-conc-rep-elem
          • Pdf-cst-obj-marker-conc-rep
          • Pdf-cst-name-char-conc-rep-elem
          • Pdf-cst-name-char-conc-rep
          • Pdf-cst-left-bracket-conc-rep
          • Pdf-cst-left-bracket-conc
          • Pdf-cst-eof-marker-conc-rep-elem
          • Pdf-cst-eof-marker-conc-rep
          • Pdf-cst-endobj-marker-conc-rep
          • Pdf-cst-endobj-marker-conc
          • Pdf-cst-end-dict-conc-rep-elem
          • Pdf-cst-digit1-9-conc-rep-elem
          • Pdf-cst-dictionary-conc
          • Pdf-cst-default-entry-conc
          • Pdf-cst-backslash-conc-rep-elem
          • Pdf-cst-backslash-conc-rep
          • Pdf-cst-zero-conc-rep-elem
          • Pdf-cst-zero-conc-rep
          • Pdf-cst-xref-marker-conc
          • Pdf-cst-xref-int-conc
          • Pdf-cst-type-entry-conc
          • Pdf-cst-trailer-conc
          • Pdf-cst-stream-conc
          • Pdf-cst-start-dict-conc
          • Pdf-cst-slash-conc-rep-elem
          • Pdf-cst-slash-conc-rep
          • Pdf-cst-reference-conc
          • Pdf-cst-rectangle-conc
          • Pdf-cst-plus-conc-rep-elem
          • Pdf-cst-plus-conc-rep
          • Pdf-cst-period-conc-rep-elem
          • Pdf-cst-period-conc-rep
          • Pdf-cst-pdf-marker-conc
          • Pdf-cst-objects-conc
          • Pdf-cst-object-conc
          • Pdf-cst-obj-marker-conc
          • Pdf-cst-null-conc-rep-elem
          • Pdf-cst-null-conc-rep
          • Pdf-cst-name-char-conc
          • Pdf-cst-minus-conc-rep-elem
          • Pdf-cst-minus-conc-rep
          • Pdf-cst-header-conc
          • Pdf-cst-font-entry-conc
          • Pdf-cst-eof-marker-conc
          • Pdf-cst-end-dict-conc-rep
          • Pdf-cst-end-dict-conc
          • Pdf-cst-digit1-9-conc-rep
          • Pdf-cst-digit1-9-conc
          • Pdf-cst-digit-conc-rep-elem
          • Pdf-cst-digit-conc-rep
          • Pdf-cst-dict-key-conc
          • Pdf-cst-backslash-conc
          • Pdf-cst-array-conc
          • Pdf-cst-zero-conc
          • Pdf-cst-xref-conc
          • Pdf-cst-ws-conc
          • Pdf-cst-string-conc
          • Pdf-cst-slash-conc
          • Pdf-cst-real-conc
          • Pdf-cst-plus-conc
          • Pdf-cst-period-conc
          • Pdf-cst-pdf-conc
          • Pdf-cst-null-conc
          • Pdf-cst-name-conc
          • Pdf-cst-minus-conc
          • Pdf-cst-font-conc
          • Pdf-cst-digit-conc
          • Pdf-cst-%x5d-10ffff-nat
          • Pdf-cst-%x31-39-nat
          • Pdf-cst-%x30-39-nat
          • Pdf-cst-%x23-5b-nat
          • Pdf-cst-%x20-7e-nat
          • Pdf-cst-%x20-21-nat
        • Smtp-example
        • Imap-example
        • Http-example
        • Uri-example
        • Imf-example
      • Differences-with-paper
      • Grammar-printer
      • Parsing-tools
    • Vwsim
    • Isar
    • Wp-gen
    • Dimacs-reader
    • Pfcs
    • Legacy-defrstobj
    • Proof-checker-array
    • Soft
    • Farray
    • Rp-rewriter
    • Instant-runoff-voting
    • Imp-language
    • Sidekick
    • Leftist-trees
    • C
    • Java
    • Taspi
    • Bitcoin
    • Des
    • Ethereum
    • X86isa
    • Sha-2
    • Yul
    • Riscv
    • Zcash
    • Proof-checker-itp13
    • Regex
    • ACL2-programming-language
    • Json
    • Jfkr
    • Equational
    • Cryptography
    • Poseidon
    • Where-do-i-place-my-book
    • Bigmems
    • Builtins
    • Axe
    • Execloader
    • Solidity
    • Leo
    • Paco
    • Concurrent-programs
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• Examples

Pdf-example

An ABNF grammar of a subset of the PDF (Portable Document Format) syntax.

The PDF format is defined in ISO 32000. The ABNF grammar given here is based on that standard, but is not part of that standard.

Subtopics

Pdf-cst-dict-value-conc?

Pdf-cst-dict-entry-conc?

Pdf-cst-list-list-conc-matchp$

Pdf-cst-list-list-alt-matchp$

Pdf-cst-list-rep-matchp$

Pdf-cst-list-elem-matchp$

Pdf-cst-startxref-marker-conc-rep-elem

Pdf-cst-reference-array-entry-conc

Pdf-cst-matchp$

Pdf-cst-endstream-marker-conc-rep-elem

Pdf-cst-dict-value-conc9-rep-elem

Pdf-cst-dict-value-conc8-rep-elem

Pdf-cst-dict-value-conc7-rep-elem

Pdf-cst-dict-value-conc6-rep-elem

Pdf-cst-dict-value-conc5-rep-elem

Pdf-cst-dict-value-conc4-rep-elem

Pdf-cst-dict-value-conc3-rep-elem

Pdf-cst-dict-value-conc2-rep-elem

Pdf-cst-dict-value-conc1-rep-elem

Pdf-cst-dict-entry-conc8-rep-elem

Pdf-cst-dict-entry-conc7-rep-elem

Pdf-cst-dict-entry-conc6-rep-elem

Pdf-cst-dict-entry-conc5-rep-elem

Pdf-cst-dict-entry-conc4-rep-elem

Pdf-cst-dict-entry-conc3-rep-elem

Pdf-cst-dict-entry-conc2-rep-elem

Pdf-cst-dict-entry-conc1-rep-elem

Pdf-cst-xref-marker-conc-rep-elem

Pdf-cst-trailer-marker-conc-rep-elem

Pdf-cst-trailer-marker-conc-rep

Pdf-cst-trailer-dictionary-conc

Pdf-cst-stream-marker-conc-rep-elem

Pdf-cst-startxref-marker-conc-rep

Pdf-cst-startxref-marker-conc

Pdf-cst-right-bracket-conc-rep-elem

Pdf-cst-reference-array-conc

Pdf-cst-left-bracket-conc-rep-elem

Pdf-cst-endstream-marker-conc-rep

Pdf-cst-endstream-marker-conc

Pdf-cst-endobj-marker-conc-rep-elem

Pdf-cst-dict-value-conc9-rep

Pdf-cst-dict-value-conc9

Pdf-cst-dict-value-conc8-rep

Pdf-cst-dict-value-conc8

Pdf-cst-dict-value-conc7-rep

Pdf-cst-dict-value-conc7

Pdf-cst-dict-value-conc6-rep

Pdf-cst-dict-value-conc6

Pdf-cst-dict-value-conc5-rep

Pdf-cst-dict-value-conc5

Pdf-cst-dict-value-conc4-rep

Pdf-cst-dict-value-conc4

Pdf-cst-dict-value-conc3-rep

Pdf-cst-dict-value-conc3

Pdf-cst-dict-value-conc2-rep

Pdf-cst-dict-value-conc2

Pdf-cst-dict-value-conc1-rep

Pdf-cst-dict-value-conc1

Pdf-cst-dict-entry-conc8-rep

Pdf-cst-dict-entry-conc8

Pdf-cst-dict-entry-conc7-rep

Pdf-cst-dict-entry-conc7

Pdf-cst-dict-entry-conc6-rep

Pdf-cst-dict-entry-conc6

Pdf-cst-dict-entry-conc5-rep

Pdf-cst-dict-entry-conc5

Pdf-cst-dict-entry-conc4-rep

Pdf-cst-dict-entry-conc4

Pdf-cst-dict-entry-conc3-rep

Pdf-cst-dict-entry-conc3

Pdf-cst-dict-entry-conc2-rep

Pdf-cst-dict-entry-conc2

Pdf-cst-dict-entry-conc1-rep

Pdf-cst-dict-entry-conc1

*pdf-grammar-rules*

The PDF grammar rules from our grammar.

Pdf-cst-xref-marker-conc-rep

Pdf-cst-xref-entry-conc

Pdf-cst-trailer-marker-conc

Pdf-cst-stream-marker-conc-rep

Pdf-cst-stream-marker-conc

Pdf-cst-start-dict-conc-rep-elem

Pdf-cst-start-dict-conc-rep

Pdf-cst-right-bracket-conc-rep

Pdf-cst-right-bracket-conc

Pdf-cst-pdf-marker-conc-rep-elem

Pdf-cst-pdf-marker-conc-rep

Pdf-cst-obj-marker-conc-rep-elem

Pdf-cst-obj-marker-conc-rep

Pdf-cst-name-char-conc-rep-elem

Pdf-cst-name-char-conc-rep

Pdf-cst-left-bracket-conc-rep

Pdf-cst-left-bracket-conc

Pdf-cst-eof-marker-conc-rep-elem

Pdf-cst-eof-marker-conc-rep

Pdf-cst-endobj-marker-conc-rep

Pdf-cst-endobj-marker-conc

Pdf-cst-end-dict-conc-rep-elem

Pdf-cst-digit1-9-conc-rep-elem

Pdf-cst-dictionary-conc

Pdf-cst-default-entry-conc

Pdf-cst-backslash-conc-rep-elem

Pdf-cst-backslash-conc-rep

Pdf-cst-zero-conc-rep-elem

Pdf-cst-zero-conc-rep

Pdf-cst-xref-marker-conc

Pdf-cst-xref-int-conc

Pdf-cst-type-entry-conc

Pdf-cst-trailer-conc

Pdf-cst-stream-conc

Pdf-cst-start-dict-conc

Pdf-cst-slash-conc-rep-elem

Pdf-cst-slash-conc-rep

Pdf-cst-reference-conc

Pdf-cst-rectangle-conc

Pdf-cst-plus-conc-rep-elem

Pdf-cst-plus-conc-rep

Pdf-cst-period-conc-rep-elem

Pdf-cst-period-conc-rep

Pdf-cst-pdf-marker-conc

Pdf-cst-objects-conc

Pdf-cst-object-conc

Pdf-cst-obj-marker-conc

Pdf-cst-null-conc-rep-elem

Pdf-cst-null-conc-rep

Pdf-cst-name-char-conc

Pdf-cst-minus-conc-rep-elem

Pdf-cst-minus-conc-rep

Pdf-cst-header-conc

Pdf-cst-font-entry-conc

Pdf-cst-eof-marker-conc

Pdf-cst-end-dict-conc-rep

Pdf-cst-end-dict-conc

Pdf-cst-digit1-9-conc-rep

Pdf-cst-digit1-9-conc

Pdf-cst-digit-conc-rep-elem

Pdf-cst-digit-conc-rep

Pdf-cst-dict-key-conc

Pdf-cst-backslash-conc

Pdf-cst-array-conc

Pdf-cst-zero-conc

Pdf-cst-xref-conc

Pdf-cst-ws-conc

Pdf-cst-string-conc

Pdf-cst-slash-conc

Pdf-cst-real-conc

Pdf-cst-plus-conc

Pdf-cst-period-conc

Pdf-cst-pdf-conc

Pdf-cst-null-conc

Pdf-cst-name-conc

Pdf-cst-minus-conc

Pdf-cst-font-conc

Pdf-cst-digit-conc

Pdf-cst-%x5d-10ffff-nat

Pdf-cst-%x31-39-nat

Pdf-cst-%x30-39-nat

Pdf-cst-%x23-5b-nat

Pdf-cst-%x20-7e-nat

Pdf-cst-%x20-21-nat