Programmiersprachen - Programmieren Spielend Gelernt mit dem Java-Hamster-Modell - page 18

• Schlangen Elephanten Pinguine Affen Delphine

• Schlangen Elephanten Pinguine Elephanten Pinguine Delphine

Dahingegen sind folgende Bildsequenzen nicht möglich:

• Elephanten Delphine (weil der Fotograph anfangs auf jeden Fall zuerst am Schlangengehege
vorbeikommt)

• Schlangen Pinguine (weil der Fotograph am Ende seines Zoobesuchs auf jeden Fall am Del-
phingehege vorbeikommt)

• Schlangen Elephanten Affen Delphine (weil der Fotograph zwischen dem Besuch des Ele-
phanten- und Affengeheges auf jeden Fall einmal am Pinguingehege vorbeigehen muss)

• Schlangen Pinguine Schlangen Delphine (weil der Fotograph nur am Anfang seines Zoobe-
suchs am Schlangengehege vorbeikommt)

2.3.2 Backus-Naur-Form

Bei der Backus-Naur-Form (BNF) handelt es sich um eine textuelle Beschreibungsform für die
Syntax von Programmiersprachen. Das Äquivalent zu einem einzelnen Syntaxdiagramm wird hier
Produktion oder BNF-Regel genannt. Produktionen besitzen eine linke und eine rechte Seite, die
durch das Metazeichen ::= getrennt sind. Auf der linken Seite stehen jeweils einzelne Nicht-Ter-
minalsymbole, die immer in spitze Klammern gesetzt werden. Die rechte Seite enthält Folgen von
Terminalsymbolen, Nicht-Terminalsymbolen und dem Meta-Symbol | . Terminalsymbole werden in
Hochkommata gesetzt. Das Meta-Symbol | bedeutet „oder“ und entspricht einem sich aufspalten-
dem Pfeil in den Syntaxdiagrammen. Das „e“ (bzw. Epsilon) steht für einen leeren Weg.

Das Zoo-Beispiel aus Abbildung 2.1 wird in der BNF folgendermaßen formuliert:

<Zoo> ::= "Schlangen" <Säugetiere-und-mehr>

<Säugetiere-und-mehr> ::= <Säugetiere>

"Pinguine"
<Säugetiere-und-mehr>
|
<Säugetiere> "Delphine"

<Säugetiere> ::= "Elefanten" |

"Affen" |
e

Im Laufe der Zeit sind einige Abkürzungsmöglichkeiten entwickelt worden, die zu besser lesbaren
Produktionen führen:

• [...] bedeutet: Symbole oder Symbolfolgen innerhalb der Klammern können auch wegge-
lassen werden.

• {...} bedeutet: Symbole oder Symbolfolgen innerhalb der Klammern können beliebig oft
wiederholt oder auch ganz weggelassen werden.