Backus-Naur-Form

1960 wurde von John Backus und Peter Naur bei der Beschreibung von Algol-60 zum ersten Male eine formale Grammatik für eine Programmiersprache spezifiziert.

Bei der formalen Notation von Backus und Naur (kurz BNF = Backus-Naur-Form genannt) kommt zur Verringerung der Anzahl der Produktionsregeln noch ``|'' als Alternativsymbol hinzu.

Die Kurzform ⟨ A ⟩ ---> α | β ist dabei äquivalent zu

⟨ A ⟩ ---> α

⟨ A ⟩ ---> β