EBNF - Backus-Naur-Form (Grammatik)

Begriffe:

• Syntax: Welche Programme sind formal zulässig?
• Grammatiken: Beschreibung der zulässigen Strukturen für die Syntax
• Nichtterminalsymbol: Linke Seite
• Terminalsymbol
• Ableitungsschritt: Ersetzung des Nichtterminalsymbols durch festgelegte Symbole
• Startsymbol: Erstes Nichtterminalsymbol
• Satz
• Sprache: Menge aller ableitbaren Sätze
• Regelalternativen: Mehrere Regeln mit gleichem Nichtterminalsymbol zusammengefasst durch senkrechten Strich
• Optionale Wiederholung: Geschweifte Klammern -> Folge muss nicht, kann aber beliebig oft vorkommen
• Optionales Vorkommen: Eckige Klammern -> Kann einmal oder gar nicht vorkommen
• Gruppierungen: Alternativen innerhalb von Symbolfolgen. Durch runde Klammern.