Ich und die EBNF (-.-)

[d00mfreak]

Hi Leute,

atm machen wir auf der Uni grad n bissl EBNF, ich blick diese aber noch net ganz durch. Deshalb würde ich jemanden, der es kann, bitten mir mal meine Lösungen zu kontrollieren:

Zu

Bezeichner in Ocaml bestehen aus Groß- und Kleinbuchstaben, Zahlen, dem Unterstrich
und dem H¨akchen. Bezeichner f¨ur Werte und Typen fangen immer mit
einem Kleinbuchstaben oder einem Unterstrich an, Bezeichner f¨ur Konstruktoren
immer mit einem Großbuchstaben. Alle Bezeichner fangen mit einem Buchstaben
oder einem Unterstrich an. Typvariablen fangen mit einem Apostroph an.

hab ich

Bezeichner = ["_"] Chars|["'"] Chars|Chars
Chars = GBuchst|KBuchst|Zahl
GBuchst = G{G}
KBuchst = K{K}
Zahl = Z{Z}
Z = [{"0"}]NZZ
G = {"A","B","C",...,"Z","Ä","Ü","Ö"}
K = {"a","b","c",...,"z","ä","ü","ö"}
NNZ = {"1","2","3",...,"9"}

und zu

Dateinamen f¨ur eine ¨Ubungsabgabe bestehen aus drei durch Unterstriche getrennten
Teilen und der Dateinamenserweiterung. Der erste Teil ist die Nummer des
¨Ubungszettels, ggf. durch eine f¨uhrende Null auf zwei Stellen erweitert. Die Nummern
reichen von 00 bis 12. Der zweite Teil gibt die Aufgabe an, eine Zahl von
1 bis 9, ggf. erweitert um einen Kleinbuchstaben f¨ur die Unteraufgabe (von a bis
f). Der dritte Teil ist eine Matrikelnummer f¨ur das gesamte Zip-Archiv, und ein
sprechender Name sonst. Wir akzeptieren Dateien mit den Dateiendungen txt, ml,
pdf und zur not auch jpg (und den entsprechenden Typen).

hab ich

Filename = Zahl"_"Zahl[Wort]"_"(Zahl|Wort)"."Filetype
Zahl = "00"|["0"] Z{Z}
Wort = KBst{KBst}|GBst{GBst}
Z = "0"|NNZ
KBst = {"a","b","c",...,"z","ä","ü","ö"}
GBst = {"A","B","C",...,"Z","Ä","Ü","Ö"}
NNZ = {"1","2","3",...,"9"}
Filetype = {"txt","pdf","ml","jpeg","jpg"}

Wäre für Berichtigungen und Vorschläge dankbar.

MFG
DooM