Fehler in Musterlösung von a)

Question

Hallo,

die Musterlösung von Aufgabenteil a) ist (1*(01)*)*

müsste der letzte Stern nicht weggelassen werden, da sich sonst Wörter wie 011 erzeugen lassen, was nicht Teil der Sprache (nach jeder 0 genau eine 1) ist?

Auch bei der formalen Beschreibung der Sprache sehe ich ein Problem: w= u0v und alle u Element {0,1}*. Heißt das nicht, dass u auch 00 oder 011 sein kann?

 

Answer 1

Sie haben recht, der Stern in Teilaufgabe a) ist nicht korekt. Wir werden das ändern.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

 

Answer 2

zu Punkt 1: Ob die Musterlösung falsch ist, wollen die Übungsleiter selbst entscheiden. Ich kann deshalb dazu nichts sagen.

zu Punkt 2: u und v sind allquantifiziert. Wenn es ein u und ein v gibt, so dass die Bedingung (hier die Implikation) wahr ist, heißt das nicht, dass w in der Sprache enthalten ist. Die Implikation muss für ALLE u und v erfüllt sein.

Betrachtet man beispielsweise w = 01101.

Dann ist mit u = 011 und v = 1 die Bedingung erfüllt, aber man kann auch

u = leeres Wort und v =1101

wählen und die Implikation ist falsch.

Daher ist 01101 nicht in der Sprache enthalten.

Tobias (Tutor)