Zusätzliche Übungsaufgaben - Blatt 2

[kukugo]

bei die neue Loesung 20a)
a) (ab*a|b)(b*ab*a)*
das heisst ab steht auch in R,aber ab seht nicht in der Akzeptor oder?

[Kubik-Rubik]

bei die neue Loesung 20a)
a) (ab*a|b)(b*ab*a)*
das heisst ab steht auch in R,aber ab seht nicht in der Akzeptor oder?

ab ist nicht in R! Entweder ab*a oder b in der ersten Klammer.

Um sich das Schreiben zu vereinfachen, darf man Klammern
auch weglassen. Im Zweifelsfall gilt „Stern- vor Punkt- und Punkt vor
Strichrechnung“, d. h. R1|R2R3* ist z. B. als (R1|(R2(R3*)))
zu verstehen.

[fredpape]

Hey leute. Wäre auch eine Lösung für die Ü.19.6 ("Die Menge aller Wörter, die aba nicht als Teilwort enthalten") ?
Also erst eine beliebige Anzahl b's, dann nurnoch bb's oder a's um aba zu vermeiden und schließlich noch ein optinales b am Schluss.

[salami]

Hey leute. Wäre auch eine Lösung für die Ü.19.6 ("Die Menge aller Wörter, die aba nicht als Teilwort enthalten") ?
Also erst eine beliebige Anzahl b's, dann nurnoch bb's oder a's um aba zu vermeiden und schließlich noch ein optinales b am Schluss.

abbba geht nicht

[fredpape]

Hey leute. Wäre auch eine Lösung für die Ü.19.6 ("Die Menge aller Wörter, die aba nicht als Teilwort enthalten") ?
Also erst eine beliebige Anzahl b's, dann nurnoch bb's oder a's um aba zu vermeiden und schließlich noch ein optinales b am Schluss.

abbba geht nicht

Danke. Daran hab ich nicht gedacht.

[Cauchy]

So, der liebe Cauchy hat dann noch ne Frage bezüglich das Umwandeln von regulärem Ausdruck zu regulärer Sprache.

Aufgabe 20 a) zum Beispiel:


So, wenn ich das in ein reguläre Sprache übersetzen will, dann trifft doch das Symbol nur
auf das nächst linke Symbol zu oder sehe ich das falsch. Demnach müsste doch



sein. Demnach sollte ja auch der endliche Akzeptor das Wort akzeptieren. Was er nicht tut.

Bitte korrigiert mich, wenn ich falsch liege!

Cauchy

[mocha]

So, der liebe Cauchy hat dann noch ne Frage bezüglich das Umwandeln von regulärem Ausdruck zu regulärer Sprache.

Aufgabe 20 a) zum Beispiel:


So, wenn ich das in ein reguläre Sprache übersetzen will, dann trifft doch das Symbol nur
auf das nächst linke Symbol zu oder sehe ich das falsch. Demnach müsste doch



sein. Demnach sollte ja auch der endliche Akzeptor das Wort akzeptieren. Was er nicht tut.

Bitte korrigiert mich, wenn ich falsch liege!

Cauchy

so wie ich das verstanden habe müsste das so aussehen:


dh | bezieht sich auf alles was innerhalb der klammer steht

[Thomas]

hätte mal ne freage zur 23:
und zwar hab ich da nen widerspruchsbeweis gemacht in dem ich gesagt hab es gibt ein supremum s mit s != g und dann gezeigt dass g ne obere schranke ist und somit s <= g gelten muss. da g aba € T ist wäre demnach s keine obere schranke von T und damit s auch nicht das supremum daraus folgt dann dass g auch das supremum sein muss. meint ihr das geht auch oder soll mans lieber wie in der lösung beide richtungen zeigen also dass s >= g und s<=g gilt?