Informatiker Board | Druckvorschau: alphabete, wörter, sprachen

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Automatentheorie (http://www.informatikerboard.de/board/board.php?boardid=13)
----- alphabete, wörter, sprachen (http://www.informatikerboard.de/board/thread.php?threadid=1464)

Geschrieben von noobee am 15.04.2013 um 09:48:

alphabete, wörter, sprachen

zwei aufgaben, bei denen ich icht wei wie ich anfangen soll bzw was zu machen ist unglücklich

gesucht sind wörter, welche in/nicht in der menge £={a,b} sind.

1: {w∈£* | ∃u,v∈£*: uvw=vwu}
2: {w∈£* | ww=www}

Geschrieben von noobee am 15.04.2013 um 09:54:

hier nochmal richtig

zwei aufgaben, bei denen ich icht wei wie ich anfangen soll bzw was zu machen ist unglücklich

gesucht sind wörter, welche in/nicht in der menge sigma={a,b} sind.

1: {w ist element aus sigma* | exist. u,v aus sigma*: uvw=vwu}
2: {w ist element aus sigma* | ww=www}

Geschrieben von Airblader am 15.04.2013 um 10:19:

Gemeint ist wohl, dass das Sprachen über dem Alphabet {a,b} sein sollen. Falls du wirklich gar keine Ahnung hast, was zu tun ist: Ist dir überhaupt klar, was eine formale Sprache ist? Wenn nein, dann erst nochmal nachlesen.

Für die 1. nehmen wir uns mal das einfachste Element aus dem Alphabet, das wir uns denken können: w = a. Liegt a in der ersten Sprache?

Geschrieben von noobee am 15.04.2013 um 10:46:

naja also ich denke einfach mal laut verwirrt

sigma={a,b} sagt, dass mein alphabet nur die buchstaben a und b hat.
sigma* sind alle wörter, die man mit a,b bilden kann.

zu 1.: w ist elem aus sigma* bedeutet doch, dass es ein wort w gibt, welches aus den buchstaben a,b besteht. also bspw. das wort "aabbabab".
was bedeutet aber, dass nun noch ein u,v aus sigma* exis., so dass uvw=vwu gilt ?

zu 2.: w ist elem aus sigma* und es gilt ww=www. also das wort w ist bspw. "abbab". wenn ich das nun in ww und www einsetze kommt ja nicht das gleiche raus, denn

abbababbab != abbababbababbab
das ist ww != das ist www

Geschrieben von Airblader am 15.04.2013 um 11:37:

Ah, das Problem liegt also woanders.

$[latex]\{w \in \Sigma^* ~|~ \exists_{u, v \in \Sigma^*} : uvw = vwu \}[/latex]$

beschreibt die Sprache aller Wörter $[latex]w \in \Sigma^*[/latex]$ mit der Eigenschaft, dass es $[latex]u, v \in \Sigma^*[/latex]$ gibt, so dass [latex]uvw = vwu[/latex]

gilt. Soll heißen: Der linke Teil sagt nur wie wir Wörter dieser Sprache nennen wollen (w) und wo sie herkommen (eben aus dem Alphabet) und der rechte Teil beschreibt dann, welche Bedingungen für w gelten müssen, so dass es auch wirklich in der Sprache liegt.

Hilft das schon weiter?

Geschrieben von noobee am 15.04.2013 um 15:21:

Zitat:

Hilft das schon weiter?

mhh, will ja nicht unhöflich sein, aber "nein", hilft nicht weiter Augenzwinkern

also ich kann das schon "übersetzen" was da steht, also es existiert ein u,v aus ...

aber ich weiß nicht, was mir das sagen soll. es muss ja gelten uvw=vwu.
ich weiß aber nur, dass das w aus sigma* (also {a,b}) sein kann.

setze ich jetzt in das w dann a oder b ein ?? also uvw wäre dann uv+beliebige a's und b's ??

Geschrieben von Airblader am 15.04.2013 um 17:37:

Zitat:

also ich kann das schon "übersetzen" was da steht, also es existiert ein u,v aus ...

Na, offenbar ja nicht, denn du scheinst es ja falsch zu übersetzen. Augenzwinkern

Ich mache mich jetzt mal auf den Heimweg, in ca. einer Stunde schreibe ich dann nochmal was.

Geschrieben von Airblader am 15.04.2013 um 19:13:

Bezeichnen wir die Sprache aus Aufgabe 1) mal mit $[latex]\mathcal L[/latex]$ . Die Definition der Sprache sagt dann, dass ein beliebiges Wort $[latex]w \in \Sigma^*[/latex]$ genau dann zur Sprache gehört – also $[latex]w \in \mathcal L[/latex]$ gilt –, wenn es $[latex]u, v \in \Sigma^*[/latex]$ mit [latex]uvw = vwu[/latex]

gibt.
Das ist etwas anderes als was du bisher geschrieben hast und diesen Unterschied solltest du dir klar machen. Der linke Teil gibt sozusagen die "Definitionsmenge" für Wörter der Sprache an, der rechte Teil die Bedingung, die ein Wort aus dieser "Definitionsmenge" erfüllen muss, um zur Sprache zu gehören.

Nochmal: Das mag alles kleinlich klingen, aber diese Grundlagen zu verstehen ist für das Verständnis unglaublich wichtig. Also erst weiterlesen, wenn das verstanden wurde.

Um jetzt mit der Aufgabe ein wenig voranzukommen: Offenbar ist $[latex]w := a \in \Sigma^*[/latex]$ . Stellen wir uns doch mal die Frage, ob $[latex]a \in \mathcal L[/latex]$ gilt.
Wir müssen also $[latex]u, v \in \Sigma^*[/latex]$ finden, so dass die Behauptung erfüllt ist. Ideen?

Geschrieben von Karlito am 15.04.2013 um 19:27:

Zitat:

Original von Airblader
Vielleicht mache ja auch ich einen Fehler, das Studium liegt doch schon ein bisschen zurück…

Ich habe das auch so verstanden, du irrst also nicht. Ich kann mir vorstellen dass die Aufgabe so stimmt, da auch der zweite Teil auf das selbe Verständnis abzielt. Ich möchte das nicht weiter benennen, da es schön wäre, wenn noobee selbst darauf kommt, wie die Aufgabe lösbar ist.

VG,

Karlito

Geschrieben von Airblader am 15.04.2013 um 19:33:

Ich dachte erst, dass vielleicht $[latex]\{w \in \Sigma^* | \exists_{u, v \in \Sigma^+} uvw = vwu\}[/latex]$ gemeint sein könnte, aber ich hatte noch nicht auf die zweite Aufgabe geschaut. Ich denke, dass du recht hast, die Aufgabe ist also wohl doch korrekt. Augenzwinkern

Ich editiere einen Teil oben mal wieder raus, da er unter diesen Umständen zuviel verrät.

Geschrieben von noobee am 15.04.2013 um 21:16:

sooo, jetzt habsch zeit geschockt

also die aufgaben sind richtig abgetippt Zunge raus

ok, nun nochmal hirnschmalz in bewegung setzten. es gibt also dieses w, was aus a,b besteht. wenn nun uvw=vwu sein soll, dann geht das doch mit a,b nur, wenn
u=a, v=a, w=a
oder
u=b, v=b, w=b.

dann wäre uvw=vwu --> aaa=aaa oder eben bbb=bbb, oder ???

ABER, wie kann ww=www sein ?? bei der 2. ist also a!=w, denn aa!=aaa ?!?

Geschrieben von Airblader am 15.04.2013 um 21:30:

Eins nach dem anderen. Wenn du damit sagen willst, dass die erste Sprache nur aus den Wörtern a und b besteht, dann liegst du leider falsch. Hinweis: In $[latex]\Sigma^*[/latex]$ liegt immer ein ganz besonderes Wort, ganz egal wie $[latex]\Sigma[/latex]$ aussieht. Welches ist es und was hat das für Folgen?

Nicht vergessen, dass "a" und "b" nicht die einzigen Wörter sind. "ab", "abba", "abababababab" etc. sind auch alles Wörter.

Geschrieben von noobee am 15.04.2013 um 21:41:

na da liegt doch das leere wort lambda drin, richtig ? mhh, was hätte das für folgen ? gute frage. dann könnte ja das w nicht nur a oder b sein, sondern auch das leere wort. klingt iwie komisch, stimmt das ?

Geschrieben von Airblader am 15.04.2013 um 21:51:

Nein. Was passiert denn, wenn du w = abababba wählst und für u und v jeweils das leere Wort?

Geschrieben von noobee am 15.04.2013 um 21:57:

naja gibt da für mich 2 möglichkeiten:

uvw = lambda,lambda,abababba
vwu = lambda,abababba,lambda - die zwei sind ja nicht die gleichen

oder

ich kann das leere wort lambda weglassen, dann würde rauskommen abababba=abababba ?!?