Gleichungen beweisen mit Inklu < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:31 Mi 04.04.2012 | | Autor: | Parkan |
| Aufgabe | Beweisen Sie oder wiederlegen Sie folgende Gleichungen, indem Sie zwei Inklusionsbeziehungen beweisen oder ein Gegenbeispiel angeben.
Sei [mm]\Sigma[/mm] ein Alphabet und X,Y,Z [mm]\subseteq \Sigma[/mm]* beliebige Sprachen
[mm](X \cup Y) * Z = (X * Z) \cup (Y * Z)[/mm]
[mm](X * Y) \cup Z = (X \cup Z) * (Y \cup Z)[/mm]
(X*)* = X*
[mm](X \cup Y)[/mm]* = X* [mm]\cup[/mm]Y* |
So wie ich das vertehe muss ich [mm]\subseteq[/mm]in beide richtungen zeigen bzw. wiederlegen.
Bis jetzt habe ich mir konkret ein Alphabet erstellt und mit festen Werten geschaut ob das passt oder nicht. Dabei war die erste Gleichung wahr die zweite falsch. Doch bestimmt wie in der Mathematik reicht es nicht aus mit bestimmten Werten zu rechnen.
Wie gehe ich also vor? Wo kann ich die Regeln dafür Nachlesen z.b b (X*)* das gleiche ist wie X* oder nicht?
Vielen Dank
|
|
| |
|
Hallo,
kurze Rückfrage: was meinst du mit "wiederlegen" ?
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:57 Mi 04.04.2012 | | Autor: | Parkan |
Zeigen das es ungleich ist
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 15:20 Fr 06.04.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Frage) überfällig | | Datum: | 21:31 Di 10.04.2012 | | Autor: | Parkan |
Hallo
Ich bin leider immer noch nicht weiter gekommen.
Könnte mir jemand bei der dritten also
(X*)* = X*
Zeigen wie das geht? Die sieht so einfach aus ;D
Nochmal die Aufgabenstellung:
Beweisen oder wiederlegen Sie folgenden Gleichungen, indem Sie zwei Inklusionsbeziehungen beweisen oder ein Gegenbeispiel angeben
Mfg Janina
|
|
|
| |
|
Hallo nochmal,
vergebene Liebesmüh' meinerseits ...
Wenn das der Wortlaut der Aufgabenstellung ist, fresse ich einen Besen!
Es heißt "eine Aussage widerlegen" ohne "ie".
Das liest sich so furchtbar, dass ich das nicht unkommentiert lassen kann.
Echt, stelle das bitte ab, das ist gruselig!
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 22:20 Do 12.04.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
