EBNF notation

This document uses a simplified EBNF (Extender Backus-Naur Form) style for syntax definitions:

• EBNF notations are in a special font (Courier New).
• Square brackets [ ] delimit optional constructs.
• Braces { } indicate zero or more repetitions of the enclosed construct.
• Parentheses ( ) indicate simple grouping of constructs.
• A vertical bar | indicates a choice of one from many.
• Literal text in definitions is denoted using UPPERCASE AND BOLD or between double quotation marks " ".
• A dot terminates the definition so it may be spawned to several lines.

Examples:

array-type =

ARRAY "[" array-index-declaration "]" OF element-type .        

array-index-declaration =

ordinal-constant | subrange | enumeration .

enumeration =

enumeration-type | "(" identifier-list ")" .

subrange =

subrange-type | lower-bound ".." upper-bound .

lower-bound =

ordinal-constant .
upper-bound =

ordinal-constant .
ordinal-constant =

boolean-constant | integer-constant | char-constant .

identifier-list =

identifier { "," identifier } .