Backus-Notation, BNF, nach Backus und Naur benannte Sprache zur Beschreibung kontextfreier Grammatiken.

Die meist mit BNF abgekürzte Sprache wurde erstmals zur Definition der Sprache ALGOL-60 verwendet. Nichtterminalzeichen werden durch inspitze Klammern eingeschlossene Begriffe repräsentiert, Terminalzeichen direkt notiert. Alle Regeln mit gleicher linker Seite werden gemeinsam beschrieben, indem erst die linke Seite, dann das Zeichen ::= und schließlich die rechten Seiten, getrennt durch |, notiert werden. Wir geben ein kurzes Beispiel (korrekt gebildete arithmetische Ausdrücke auf vorzeichenbehafteten ganzen Zahlen):

::= | + | −

::= | * | /

::= | − | ( ) ::= | ::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ::= | ::= | 0