Kleenescher Abschluss |
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallo,
leider stimmt deine Definition von und nicht. Bitte Suche noch einmal die Defintion von und heraus und versuche den Beweis anhand der Defintion. Gern helfe ich dir dann weiter.
Bitte noch ergänzend folgende Fragen beantworten:
Sei . Was ist dann , und ?
Edit: Es reicht wenn Du erstmal nur die Definition aufschreibtst und die Frage beantwortest.
VG,
Karlito
|
|
18.04.2013 14:19 |
|
|
Nunzio
Jungspund
Dabei seit: 18.04.2013
Beiträge: 13
|
|
Hallo Karlito,
danke für deine schnelle Antwort.
Nun gut, ich schreibe jetzt die Definition aus dem Buch von Uwe Schöningh "theoretische Informatik - kurz gefasst" ab.
Für ein gegebenes Alphabet Sigma bezeichne Sigma* die Menge aller Wörter, die sich durch Konkatenation von Symbolen aus Sigma bilden lassen. DIes ist nichts anderes als die Menge aller endlichen Folgen von Elementen aus Sigma. DIes schließt auch die leere Folge, bzw. das leere Wort ein, welches wir mit epsilon beschreiben.
Mit Sigma+ bezeichnen wir Sigma* - {epsilon}
Nunja, ich würde immer noch sagen, das dort die leere Sprache herauskommt, weil das epsilon ja durch die Annahme gestrichen wurde...
Leider kann ich deine zusätzlichen Fragen nicht beantworten. Ich verstehe nicht was ich da nun machen soll
mfg Nunzio
|
|
21.04.2013 20:47 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Schau dir mal die Definition auf Wikipedia an.
Demnach ist ja
,
und es gilt und .
ist die Konkatenation einer Sprache mit sich selbst. D.h. jedes Wort der Sprache wird mti jedem Wort der Sprache konkateniert und die Menge der Wörter die dabei entsteht ist die Sprache .
Damit solltest Du eigentlich in der Lage sein, alle Fragen zu beantworten.
Wie sieht daher aus? Die leere Sprache ist es nicht.
VG,
Karlito
|
|
22.04.2013 14:52 |
|
|
|