Vorkurs Informatik

18.3 Sprachtypen nach Chomsky 291
Anforderung, die dies notwendig machen könnte, ist etwa, dass in Java ein Variablenname vor
seiner Verwendung deklariert sein muss.
Abbildung 18.4 zeigt einen Ausschnitt aus der Java-Grammatik. Die Notation unterscheidet
sich von der bisher von uns verwendeten. Es kommt leider vor, dass Sprachentwickler immer
wieder eigene Beschreibungsformen von Grammatiken entwickeln.
In Abbildung 18.4 sind sechs Gruppen von Produktionsregeln aufgeführt, die der Definition von
Fließkommazahlen dienen. Die erste Gruppe von Produktionsregeln beschreibt das sogenannte
FloatingPointLiteral. „FloatingPointLiteral“ ist in der Grammatik ein Variablenzeichen. Es
bildet die linke Seite einer ganzen Reihe von Produktionsregeln. Die rechten Seiten dieser Produktionsregeln
folgen auf den Zeilenwechsel hinter dem Doppelpunkt. Jede der Zeilen stellt eine
oder mehrere eigene rechte Seiten einer Produktionsregel dar, deren linke Seite das Nichtendzeichen
FloatingPointLiteral ist. Zeilen bestehen aus einer Folge von Nichtendzeichen und Endzeichen.
Nichtendzeichen sind an der kursiven Schrift mit initialen Großbuchstaben zu erkennen.
Des Weiteren ist das Suffix „_opt“ zu beachten. Dieses Suffix drückt aus, dass das entsprechende
Nichtendzeichen auch weggelassen werden kann. Auf diese Weise enthält die erste Zeile der
Regelgruppe zum FloatingPointLiteral in Abbildung 18.4 eine ganze Reihe von rechten Seiten,
die zu unterschiedlichen Produktionsregeln führen.
Beispiele in unserer Notation sind
FloatingPointLiteral → Digits . Digits ExponentPart FloatTypeSuffix
FloatingPointLiteral → Digits . Digits
FloatingPointLiteral → Digits . ExponentPart
Beispiele für Gleitkommazahlen, die diesen Regeln genügen, sind 1.E − 14F,1.5 und .E − 14.
Die in der ersten Regelgruppe verwendeten Nichtendzeichen werden in den folgenden Regeln
konkretisiert. Die nächste Regelgruppe ist dem Exponenten gewidmet. Das entsprechende Nichtendzeichen
auf der linken Seite ist ExponentPart. Die rechte Seite besteht aus zwei Nicht-
Endzeichen ExponentIndicator und SignedInteger. ExponentIndicator wird in der nächsten Gruppe
von Regeln definiert. Durch „one of“ ist ausgedrückt, dass die rechte Seite entweder aus einem
kleinen e oder aus einem großen E besteht, also in unserer bisherigen Notation
ExponentIndicator → e
ExponentIndicator → E.
„SignedInteger“ besteht aus einem Vorzeichen, also + oder −, welches auch weggelassen werden
kann, sowie einer Folge von Zahlen. Das wird durch die Regelgruppe zu SignedInteger in
Abbildung 18.4 ausgedrückt. Diese Regelgruppe enthält zwei Regeln, SignedInteger → Digits
und SignedInteger → Sign Digits. Die fünfte Regelgruppe führt aus, was „Sign“ bedeutet, nämlich
+ oder -.
Die letzte Regelgruppe in Abbildung 18.4 ist dem FloatTypeSuffix gewidmet. Hier gibt es die
vier Alternativen f, F, d und D. Diese drücken die schon bekannten float- beziehungsweise
double-Typen aus.