Die Grammatik von Oberon II

Produktionsregeln P (in EBNF):

⟨ CompilationUnit ⟩ ---> ⟨ Module ⟩ | ⟨ Definition ⟩

⟨ Definition ⟩ ---> ``DEFINITION'' ⟨ Ident ⟩ ``;''
[⟨ ImportList ⟩] ⟨ DefSequence ⟩
``END'' ⟨ Ident ⟩ ``.''

⟨ ImportList ⟩ ---> ``IMPORT'' ⟨ Import ⟩
{ ``,'' ⟨ Import ⟩ } ``;''

⟨ Import ⟩ ---> ⟨ Ident ⟩ [``:='' ⟨ Ident ⟩]

⟨ DefSequence ⟩ ---> { ``CONST''
{ ⟨ ConstantDeclaration ⟩ ``;'' } |
``TYPE'' { ⟨ TypeDeclaration ⟩ ``;'' } |
``VAR'' { ⟨ VariableDeclaration ⟩ ``;'' } }
{ ⟨ ProcedureHeading ⟩ ``;'' }

⟨ Module ⟩ ---> ``MODULE'' ⟨ Ident ⟩ ``;''
[⟨ ImportList ⟩] ⟨ DeclarationSequence ⟩
[``BEGIN'' ⟨ StatementSequence ⟩]
``END'' ⟨ Ident ⟩ ``.''

⟨ DeclarationSequence ⟩ ---> { ``CONST''
{ ⟨ ConstantDeclaration ⟩ ``;'' } |
``TYPE'' { ⟨ TypeDeclaration ⟩ ``;'' } |
``VAR'' { ⟨ VariableDeclaration ⟩ ``;'' } }
{ ⟨ ProcedureDeclaration ⟩ ``;'' |
⟨ ForwardDeclaration ⟩ ``;'' }