Erweiterte Backus-Naur-Form

Die erweiterte Backus-Naur-Form (EBNF) fügt weitere Notationen hinzu, um die Zahl der Produktionsregeln weiter reduzieren zu können:

Optionalität: ⟨ A ⟩ ---> α [ β ] γ entspricht

⟨ A ⟩ ---> α ⟨ A' ⟩ γ

⟨ A' ⟩ ---> β | ε

Wiederholung (0 bis beliebig oft): ⟨ A ⟩ ---> α { β } γ entspricht

⟨ A ⟩ ---> α ⟨ A' ⟩

⟨ A' ⟩ ---> β ⟨ A' ⟩ | γ

Klammerung: ⟨ A ⟩ ---> α ( β | γ ) δ entspricht

⟨ A ⟩ ---> α ⟨ A' ⟩ δ

⟨ A' ⟩ ---> β | γ

Durch die Verwendung von EBNF geht ein Teil der Struktur verloren, die mit BNF noch zum Ausdruck kam.