Welche Sprache erzeugt diese Grammatik - Seite 2 |
| 10.12.2006, 18:48 | Auf diesen Beitrag antworten » | ||||
| Tobias | Nein, nicht wenn das leere Wort schon in L drin ist. Mache dir das klar: Beweis: Wegen Seien M und N zwei Sprachen, dann ist das leere Wort in MN nur dann, wenn es sowohl in M als auch in N ist. Sei |
||||
|
|
|||||
| 10.12.2006, 19:29 | Auf diesen Beitrag antworten » | ||||
| Asgard | Ist hier nicht ein Widerspruch?
Auf der einen Seite ist Auf der anderen Seite ist aber Auch steht im Buch "Theoretische Informatik - kurzgefasst" von Uwe Schöning Folgendes:
EDIT: Wie menschlich das Versagen! Mein Fehler liegt darin, dass alles was ich meine, auf Alphabete bezogen ist und nicht auf Sprachen. |
||||
| 10.12.2006, 19:41 | Auf diesen Beitrag antworten » | ||||
| Tobias | Das ist kein Widerspruch, denn ich sagte es muss in mindestens einem L^i drin sein. Das schließt nicht aus, dass es in allen L^i drin ist. Ich nehme die Definition: Jetzt muss das leere Wort ja irgendwo hergekommen sein. Also laut erster naiver Annahme aus mindestens einer der Menge L^i. Das schließt weder aus, dass es in allen drin sein kann noch schließt es aus, dass es in einem L^j nicht drin ist. Dann kommt das nächste Argument... |
||||
| 10.12.2006, 21:15 | Auf diesen Beitrag antworten » | ||||
| Asgard | Ich verstehe nur Folgendes nicht so ganz:
Wenn nun also |
||||
| Anzeige | |||||
|
|
|||||
| 10.12.2006, 21:44 | Auf diesen Beitrag antworten » | ||||
| Tobias | Das ist kein Denkfehler, das ist richtig. Nochmal mein Argument: Wenn M und N beliebige Mengen sind, dann kann man sagen: Das erweitern wir auf Wo siehst du nun einen Widerspruch? |
||||
| 10.12.2006, 22:11 | Auf diesen Beitrag antworten » | ||||
| Asgard | Jetzt sehe ich ihn nicht mehr, aber Du veränderst auch gerade Deine Aussagen
Jetzt bin ich verwirrt
Doch so langsam kommt die Erleuchtung auf simplem Wege: Aus |
||||
| 10.12.2006, 22:32 | Auf diesen Beitrag antworten » | ||||
| Tobias | Ich glaube dich hat die Reihenfolge meines "Hilfssatzes" negativ beeinflusst.
Meine Argumentationskette ist eigentlich: Voraussetzung: Leeres Wort ist in L^+ zu zeigen: Leeres Wort ist in L 1. Schritt: Es gibt es ein L^i, so dass leeres Wort in L^i ist 2.1 Schritt: Wenn i=1 ist alles gezeigt. 2.2 Schritt: Wenn i>1 ist leeres Wort in LL^(i-1). <-- hier meinen Satz über M und N anwenden |
||||
| 10.12.2006, 23:49 | Auf diesen Beitrag antworten » | ||||
| Asgard | Jetzt ist das Licht endlich aufgegangen. Vielen Dank für Deine Geduld. |
||||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |

