4. Übungsblatt - Abgabe 21. November

[sockenjodler]

Hi,
ich hab meine Löungen für die 4.3 mal mit denen hier om Forum verglichen. Da sie jedoch nicht gleich sind (und hoffentlich auch nicht gleich sein müssen) wollt ich fragen ob folgende Lösungen auch gehen:

a) L = ( {a} ({a}*{b}*)* )
b) L = ( ({a}*{b}*)* {aaa} ({a}*{b}*)* )
c) L = ( ({a}*{b}*)* {baa} ({a}*{b}*)* )
d) L = ( {a}*{b}*{ab}*{b}* )

sieht ein bischen verwirrend auf den ersten Blick aus, aber so müsste es doch auch gehen, oda?

[Ruben]

a) L = ( {a} ({a}*{b}*)* )
Stimmt, aber du kannst ({a}*{b}*)* auch kürzer als {a,b}* schreiben.

b) L = ( ({a}*{b}*)* {aaa} ({a}*{b}*)* )
Falsch. ababab enthält 3 as, aber kann mit deinem Ansatz nicht gebildet werden.

c) L = ( ({a}*{b}*)* {baa} ({a}*{b}*)* )
Richtig, allerdings wieder umständlich geschrieben.

d) L = ( {a}*{b}*{ab}*{b}* )
EDIT: *hier stand Blödsinn*
Wenn ich nochmal drüber nachdenk...a b ab b ab kannst du nicht bilden
Auserdem geht a ab und das sollst du ausschliessen.

@Silent: Mach mal IRC an, ich versteh nicht was du damit zeigst...

[Ruben]

Würde gerne eure Meinung zu meine "kreativen" Lösung für 4.2 hören/lesen:

\ x heist "ohne x".

L* = ({a}*{b}{a}*)* //enthält mindestens * mal b, deshalb:
= ({a}*{b}{a}*)* \ a+ //was nicht da ist darf man auch nochmal abziehen...
= ({a}*{b}*{a}*)* \ a+ //Worte ohne b fliegen wegen \ a+
= {a,b,a}* \ a+ bzw. = {a,b}* \ a+ //Wie begründe ich den Schritt mathematisch? richtig ist er...
= {a,b}* \ a* u {epsilon}

-> {a,b}* \ a* ist darin enthalten.

[Robert]

d) L = ( {a}*{b}*{ab}*{b}* )
EDIT: *hier stand Blödsinn*
Wenn ich nochmal drüber nachdenk...a b ab b ab kannst du nicht bilden
Auserdem geht a ab und das sollst du ausschliessen.

Warum soll man aab ausschließen? Das ist doch nicht das selbe wie baa... Zumindest am Anfang des Wortes darf das da stehen, imho.

EDIT:
Mein Vorschlag:
L= {a]* ({ba}* , {b}*)*

[JTex]

das , brauchst du nicht durch die * ansonsten hab ichs auch so

[Ruben]

Stimmt, da steht immernoch Blödsinn ^^
Irgendwelche Kommentare zu meiner Lösung von 4.2? Ich bin mir nämlich nicht sicher, ob ich das so schreiben darf...

[zink]

fuer mich isses wahr aber irgendwie thematisch nich ganz auf den punkt. weiss aber auch nich wies gehn koennte

[Identitaet]

hat jemand die 4.2 "vernünftig" hingeschrieben bekommen? bei mir ists mehr deutschaufsatz als induktion und das ist ja eher nicht so schön...

Ich hab das so gelöst:


z.z.: jedes Wort w aus {a, b}* - das min. einmal b enthält liegt in L. Formal:









Keine Ahnung ob das nun so korrekt sein sollte, für mich wärs plausibel.

In den letzten Zeilen, silent, guck dir das bitte nochmal an. x^k ist nicht gleich k*x ...

[JTex]

Der Lösungsvorschlag der Physiker:

http://leute.server.de/mabldata/forum/v ... p=525#p525

Erscheint mir fast zu einfach für 4 Punkte.

[peterlustig]

Mein Vorschlag:
L= {a]* ({ba}* , {b}*)*

Das müsste stimmen, aber kann man da nicht vereinfacht auch

L = {a}* {ba, a}*

schreiben?