|
|
Hallo,
folgende Aufgabe:
Bestimmen Sie für die folgenden Sprachen L jeweils Pre(L), Suf(L) und Fac(L).
a) L = { w aus {a, b}* | w hat den Faktor ab}
Folgende Lösung hat der Professor aufgeschrieben:
Pre(L) = (a+b)*
Suf(L) = (a+b)*
Fac(L) = (a+b)*
Meine Frage jetzt:
Fehlt bei Pre(L) nicht noch das Epsilon? Und wenn nicht, warum? Ich frage, weil im Skript ist das Epsilon immer dabei!?
b) L = { w aus {a, b}* | w beginnt mit aa und endet mit b}
Die Lösung:
Pre(L) = aa(a+b)* + a + Epsilon
Suf(L) = (a+b)*b + Epsilon
Fac(L) = (a+b)*
Meine Frage jetzt:
Warum steht zusätzlich jetzt für Pre(L) und Suf(L) das Epsilon? Ich verstehe ebenso nicht, warum zusätzlich +a bei Pre(L)? Ich kann doch mit (a+b)* einfach ein a "produzieren"?
Gibt es mehrere Lösungen für Pre(L)?
Nachträglich zu b):
Wo bleibt bei Suf(L) eigentlich das aa?
Ich dachte ich hätte es dank des Skripts verstanden, aber ich habe überhaupt nichts verstanden. Vielleicht mag mir jemand meine Fragen beantworten ... darüber bin ich dankbar.
Vielen Dank im Voraus.
Mit freundlichen Grüßen
|
|
