FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F12 Klausur Aufgabe 2

F12 Klausur Aufgabe 2 2005-10-02 16:26
Anonymer User
Moin,

Folgende Sprache vorgegeben: L = {a,b}* \ ({a}*U{b}*).

Welche Sprache ist das hier?

Etwa: "ab, aba, abab, ababa… und ba, bab, baba, babab … " usw ?


Danke

Re: F12 Klausur Aufgabe 2 2005-10-02 18:11
Slater
das scheinen doch beliebige Wörter aus as und bs bestehend zu sein
bis auf leeres Wort, a, aa, aaa, … und b, bb, bbb, ..

von abwechselnd a b a steht da nix

Re: F12 Klausur Aufgabe 2 2005-10-02 19:45
Lazy
ich würde sagen das ist die Menge aller Wörter die aus a und b bestehen, in beliebiger Kombination, aber es muss mindestens ein a und mindestens ein b vorkommen.

Re: F12 Klausur Aufgabe 2 2005-10-03 22:52
Anonymer User
Jo,

Lazy, Du sagts genau das gleiche, aber danke nochmal :-)


Jetzt kriegen wir den rationalen Ausdruck nicht hin, is ja gar net so einfach. Hatten schon auf den ersten Blick geniale Sachen, aber die waren mit dem weiten Bildungstest wieder dahin :-P

Kann uns da auch nochmal jemand weiterhelfen.

DankjeWell

Re: F12 Klausur Aufgabe 2 2005-10-03 23:19
Slater
ich habe es beschrieben wie es da steht,
Lazy hat bereits den rationalen Ausdruck dafür in Worte gefasst ;)

achte einfach darauf dass sowohl ein a als auch ein b drin ist,
mehr kann man dazu kaum sagen ;)


Beispiel: die Menge aller Wörter aus a,b,c die ein c enthält:
(a+b+c)* c (a+b+c)*


nachgucken kann man sonst auch dort..:
http://3773.rapidforum.com/topic=101677840444

Re: F12 Klausur Aufgabe 2 2005-10-04 03:05
georg
Übrigens: Wenn man wirklich mal keine Idee hat, kann
man bei solchen Aufgaben den rationalen Ausdruck auch
einfach ausrechnen. Schließlich wird im Skript
bewiesen, dass Ausdrücke wie {a,b}*\({a}*U{b}*)
reguläre Sprachen beschreiben und damit auch einen
rationalen Ausruck besitzen. Und die Beweise
sind alle konstruktiv (wenn ich mich da richtig
erinnere). Vielleicht hat ja jemand Lust, als
kleine Fingerübung ein Programm zu schreiben, das
solche "erweiterten" rationalen Ausdrücke, in denen
"\" als Operator zugelassen ist, in rationale
Ausdrücke umrechnet.

Edit: Oder man erlaubt einfach den Schnittoperator
und die Komplementbildung, damit hat man dann
ja auch "\" und zusätzlich den Durchschnitt.

Edit2: Nicht, dass das jemand falsch versteht:
für die Klausur ist dieses "Ausrechnen" nicht
geeignet, das ist viel zu aufwendig.

Re: F12 Klausur Aufgabe 2 2005-10-08 18:23
Anonymer User
ich würde sagen das ist die Menge aller Wörter die aus a und b bestehen, in beliebiger Kombination, aber es muss mindestens ein a und mindestens ein b vorkommen.

wie wäre es mit (a+b)^* a^+ b^+ (a+b)^* ??




Re: F12 Klausur Aufgabe 2 2005-10-08 19:32
Slater
bedenke: ba ist auch ein gültiges Wort der Menge

Re: F12 Klausur Aufgabe 2 2005-10-09 19:27
theorinix
Folgende Sprache vorgegeben: L = {a,b}* \ ({a}*U{b}*).
Welche Sprache ist das hier?

wie immer: Einfacheit geht meist leichter.

L = {a,b}* \ ({a}*U{b}*) ist salopp. aber richtig:
"irgendwas". aber nicht nur a's und nicht nur b's!

das geht aber nur wenn mindestens ein a UND ein b vorkommen, ALSO:
"irgendwas" a "irgendwas" b "irgendwas" oder
"irgendwas" b "irgendwas" a "irgendwas".
Es folgt mit "irgendwas" = A
dann ganz leicht
L wird beschrieben durch: A·a·A·b·A + A·b·A·a·A , wobei A := (a+b)^+

der Weg stand auch schon in
http://3773.rapidforum.com/topic=101677840444