---

Geschrieben von nonsens am 20.01.2019 um 15:52:

  Pre, Suf und Fac einer Sprache bestimmen

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

---

Geschrieben von ed209 am 27.01.2019 um 12:15:

 

Hi nonsens,

Wie bei eigentlich den meisten Fragen zur theoretischen Informatik, wuerde es helfen wenn Du die Definitionen von den Begriffen die benutzt.
Insbesondere Pre, Suf und Fac sind mir im Moment kein Begriff.

Gruss,
ED