Informatiker Board | Druckvorschau: Kleenscher Stern und Mengen

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)
--- Kleenscher Stern und Mengen (http://www.informatikerboard.de/board/thread.php?threadid=897)

Geschrieben von Splisher am 18.03.2011 um 21:16:

Kleenscher Stern und Mengen

Meine Frage:
Hallo,
ich suche für meine Klausurvorbereitung nach einer Idee wie ich (AUB)*=(A*B*)* Beweisen kann.

Danke schonmal smile

Meine Ideen:
Meine Idee war es das Problem "x=y" in "y $[latex]\subset[/latex]$ x" und "x $[latex]\subset[/latex]$ y" zu teilen.
Dann hätte ich einen trivialen Fall mit (AuB)* $[latex]\subset[/latex]$ (A*B*)* da (AuB) $[latex]\subset[/latex]$ (A*B*). Aber der andere Fall ist mir undurchsichtig.

//Edit 3FBN:
Latex korrigiert.

Geschrieben von ed209 am 20.03.2011 um 22:19:

Ich denke Du meinst, $[latex] x \subset y [/latex]$ anstelle von $[latex] x \in y [/latex]$ usw.

Ich weiß jetzt nicht genau welche Axiome ihr nutzt um den Stern zu definieren, aber ich würde versuchen folgendes zu zeigen:
$[latex] (A \cup B)^* = ((A \cup B)^*)^* = ((A \cup B)^*(A \cup B)^*)^* [/latex]$
Dann wird das offensichtlich eigentlich. Aber das hängt halt alles davon ab, wie Ihr das definiert habt.

Gruß,
ED