 Thema: Beweise für reguläre Sprachen / Kleene Stern |
|
|
Hallo,
vielen Dank für deine Hilfe. Dass ![[latex]L1^* \subseteq L2^*[/latex]](http://www.matheboard.de/latex2png/latex2png.php?L1^* \subseteq L2^*) ist, habe ich schon in der vorherigen Aufgabe gezeigt. Ich habe damit argumentiert, dass wenn ![[latex]w \in L1^*[/latex]](http://www.matheboard.de/latex2png/latex2png.php?w \in L1^*) , dann gilt ![[latex]w \in L1[/latex]](http://www.matheboard.de/latex2png/latex2png.php?w \in L1) , und aus ![[latex]L1 \subseteq L2[/latex]](http://www.matheboard.de/latex2png/latex2png.php?L1 \subseteq L2) ergibt sich ![[latex]w \in L2[/latex]](http://www.matheboard.de/latex2png/latex2png.php?w \in L2) , also auch ![[latex]w \in L2^*[/latex]](http://www.matheboard.de/latex2png/latex2png.php?w \in L2^*)
Quasi wie man bei einer ähnlichen Potenzmengenbeziehung argumentieren würde... ist das denn richtig so?
Ich glaube, ich stehe gerade ziemlich auf dem Schlauch :-(
|
|
| Thema: Beweise für reguläre Sprachen / Kleene Stern |
|
|
Moin,
ich sitze gerade vor folgendem Problem und ich weiss einfach nicht, wie ich die Rechenregeln anwenden darf bzw wie ein Beweis in TheoInf aufgebaut ist:
Ich soll zeigen, dass wenn L1 eine Teilmenge von L2 ist, dass L1* konkateniert mit L2* = L2* ist.
Ich meine es macht Sinn und stimmt (der Auftrag ist: zeigen oder widerlegen), aber wie zeigt man so etwas?
|
|
|
