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)
---- formale Sprachen (http://www.informatikerboard.de/board/board.php?boardid=12)
----- Reguläre Quadrate (http://www.informatikerboard.de/board/thread.php?threadid=1869)
Geschrieben von Alpha92 am 17.06.2014 um 14:01:
Reguläre Quadrate
Meine Frage:
Servus.
Ich habe hier eine aufgabe, bei der ich absolut keinen Plan habe, wie ich vorgehen soll :/
Sei f: sigma * -> sigma * mit der Funktion f(w) = ww und L sei eine Untermenge von Sigma *.
Ich muss jetzt entweder zeigen oder widerlegen, dass wenn F(L) regulär ist, L auch regulär ist. Da mir anfangs zu Letzteren kein Gegenbeispiel eingefallen ist, habe ich mich an ersterem versucht.
Meine Ideen:
Ich habs anfangs so gemacht.
Da F(L) regulär gibt es einen regulären Ausdruck L(alpha).
L (alpha) = L(beta beta) = L(beta) L(beta). L(beta) sind jeweils reguläre Ausdrücke für L => L regulär
Diese lÖsung erscheint mir jedoch etwas zu einfach und ich hab auch das Gefühl dass da was falsch ist :/
Feedback + eventuell neue Denkanstöße etc wären nett :-)
Forensoftware: Burning Board, entwickelt von WoltLab GmbH