Sieben E-Mail-Adressen gegen eine EBNF prüfen

Die Aufgabe

Aufgabe 4.2

Für die Syntax von E-Mail-Adressen (address) liegt der folgende Vorschlag in EBNF vor. Hinweis: „[“ und „]“ bei dotnum bezeichnen die eckigen Klammern als Terminalsymbole.

EBNF für E-Mail-Adressen

address = <name> . <name> [ . <name> ] @ <domain>

name = <letter> { <symbol> }

letter = a | b | ... | z | A | B | ... | Z

symbol = <letter> | <digit>

digit = 0 | 1 | ... | 9

domain = <dotnum> | ( [ <subdomain> . ] <topleveldomain> )

dotnum = "[" <snum> . <snum> . <snum> . <snum> "]"

snum = 0 | 1 | ... | 255

subdomain = <name> [ - <name> ]

topleveldomain = com | edu | gov | org | <countrycodetld>

countrycodetld = aq | de | es | sy

Sind die folgenden Beispiele im Sinne der angegebenen Syntax zulässige E-Mail-Adressen? Geben Sie alle Fehler an, falls eine Adresse nicht zulässig ist.

	Adresse	Zulässig	Nicht zulässig
i	Mr.President@WhiteHouse.gov	☐	☐
ii	James.T.Kirk@ncc-1701.org	☐	☐
iii	2742@deep-space-nine.com	☐	☐
iv	Team.Stud@[131.246.161.19]	☐	☐
v	user@inter.net	☐	☐
vi	DP.Informatik1@[27.01.2006]	☐	☐
vii	alds@informatik.uni-kl.de	☐	☐

Gegeben ist eine EBNF für E-Mail-Adressen. Für jede der sieben Adressen ist zu entscheiden: Lässt sie sich mit diesen Regeln bilden? Wenn nicht, sind alle Fehler gesucht, nicht nur der erste.

Wichtig ist „im Sinne der angegebenen Syntax“. Es zählt nur die EBNF, nicht, ob es die Adresse in Wirklichkeit gibt. user@inter.net sieht echt aus und ist trotzdem falsch, wenn die Regeln sie nicht erzeugen.

Merke: Eine Adresse von links nach rechts zerlegen und jedes Stück der passenden Regel zuordnen. Bleibt ein Stück übrig oder fehlt eins, ist das ein Fehler.

Die Regeln lesen: was vor dem @ stehen darf.
Die Regeln lesen: was nach dem @ stehen darf.
Die Adressen i bis vii einzeln zerlegen.

Vor dem @: zwei oder drei Namen mit Punkt

Wort	ein name?	Grund
x	ja	ein Buchstabe, danach null Zeichen
Ab3	ja	Buchstabe A, danach b und die Ziffer 3
3D	nein	beginnt mit einer Ziffer
a-b	nein	der Bindestrich ist kein symbol

Die Startregel ist die erste Regel: Sie beschreibt das Ganze, hier address. Alle anderen Regeln erklären nur ihre Teile. Vor dem @ stehen <name> . <name>, also mindestens zwei Namen mit einem Punkt dazwischen. Die eckigen Klammern erlauben einen dritten Namen. Ein einzelner Name ohne Punkt ist nicht vorgesehen.

Ein name beginnt mit einem Buchstaben (letter). Danach folgen beliebig viele Zeichen aus symbol: Buchstaben oder Ziffern. Sonst nichts: kein Bindestrich, kein Unterstrich, kein Punkt.

Aus Skript 3, Folie 3-33 („EBNF“): Nichtterminale stehen in spitzen Klammern <…> und werden durch eine eigene Regel erklärt. | trennt Alternativen, [ ] ist optional, { } heißt beliebig oft, auch null Mal.

Nach dem @: Zahlenadresse oder Namen mit Endung

Stück	Regel	erlaubt
[10.0.0.1]	dotnum	vier Zahlen von 0 bis 255
mein-haus	subdomain	name - name, ein Bindestrich
mein-haus.de	[subdomain .] topleveldomain	eine subdomain, Punkt, Endung
org	topleveldomain	auch ohne subdomain davor

domain hat zwei Alternativen. Erstens dotnum: in eckigen Klammern genau vier Zahlen mit drei Punkten. Jede Zahl ist ein snum. Die Regel zählt die erlaubten Wörter auf: 0, 1, …, 255. Wir lesen sie wörtlich: Erlaubt ist genau ein Wort aus dieser Liste, also „1“, aber nicht „01“.

Achtung, eckige Klammern haben hier zwei Bedeutungen. Sonst heißt [ ] „optional“. In dotnum stehen sie in Anführungszeichen. Dann sind sie Terminalsymbole: Zeichen, die wörtlich in der Adresse stehen, wie @ oder der Punkt. Der Hinweis der Aufgabe sagt genau das.

Zweitens eine Endung (topleveldomain) mit höchstens einer subdomain und einem Punkt davor. Erlaubte Endungen sind nur com, edu, gov, org, aq, de, es und sy. Eine subdomain ist ein Name oder zwei Namen mit genau einem Bindestrich.

Schritt 0Die Aufgabe

Schritt 1Vor dem @: zwei oder drei Namen mit Punkt

Schritt 2Nach dem @: Zahlenadresse oder Namen mit Endung

Abbildung 1

Die Aufgabe

Vor dem @: zwei oder drei Namen mit Punkt

Nach dem @: Zahlenadresse oder Namen mit Endung