Die Grammatik von Oberon VI

Produktionsregeln P (in EBNF, Fortsetzung):

⟨ StatementSequence ⟩ ---> ⟨ Statement ⟩ { ``;'' ⟨ Statement ⟩ }

⟨ Statement ⟩ ---> [ ⟨ Assignment ⟩ |
⟨ ProcedureCall ⟩ |
⟨ IfStatement ⟩ |
⟨ CaseStatement ⟩ |
⟨ WhileStatement ⟩ |
⟨ RepeatStatement ⟩ |
⟨ LoopStatement ⟩ |
⟨ WithStatement ⟩ |
``EXIT'' |
``RETURN'' [⟨ Expression ⟩] ]

⟨ Assignment ⟩ ---> ⟨ Designator ⟩ ``:='' ⟨ Expression ⟩

⟨ ProcedureCall ⟩ ---> ⟨ Designator ⟩ [⟨ ActualParameters ⟩]