[ Inhalt ] [ Index ]

BNF und EBNF

   

Die Backus-Naur-Form   ist eine der wichtigsten Beschreibungsformen für Programmiersprachen:

• linke und rechte Seite der Produktionen werden durch '::=' getrennt
• Nonterminals stehen in spitzen Klammern ('<','>')
• Alternativen werden durch '|' getrennt
• Rekursion ist zulässig

Beispiel:

<Statement> ::= <Ifstatement> | <Assignment>

<Assigment> ::= <Variable> := <Expression>

<Ifstatement> ::= IF <Expression> THEN <Statement> <Elsepart>

<Elsepart> ::=

Man findet häufig Varianten:

'=' statt '::='

Die spitzen Klammern fehlen, dafür stehen Terminals in Anführungszeichen.

Ein Punkt kennzeichnet das Ende einer Regel.

In der erweiterten BNF (EBNF) gibt es einige zusätzliche Möglichkeiten:

• Optionale Teile stehen in eckigen Klammern: [<Elsepart>]
  
• Geschweifte Klammern umschließen beliebige Wiederholungen
  (auch Null!):
  
  
• Setzen von Prioritäten durch runde Klammern:
  (<A>|<B>) <C>
  

Aus der EBNF läßt sich häufig direkt ein Parser ableiten!