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)
--- Beweis zum Kürzen in Worthalbgruppen (http://www.informatikerboard.de/board/thread.php?threadid=73)
Geschrieben von ed209 am 17.11.2006 um 11:58:
RE: Beweis zum Kürzen in Worthalbgruppen
Zitat: |
und nach Definition erhalten wir wieder
Ist das so in Ordnung? Ich kann mir irgendwie nicht vorstellen, dass das schon alles ist ?!?
|
Für mich sieht das ganz solide aus, aber du solltest deutlicher machen worüber induzierst und was a,u,v,w,x sind (Zeichen oder Strings).
Die andere Richtung fehlt wohl auch noch.
Gruß,
ED
Geschrieben von David1979 am 17.11.2006 um 12:52:
RE: Beweis zum Kürzen in Worthalbgruppen
Erst einmal Danke fürs Drüberschauen
!
Das mit der Definition der einzelnen Wörter oder Zeichen hätte ich auch gerne näher beschrieben, aber die Aufgabenstellung hat aus meiner Sicht an der Stelle irgendwie nicht mehr hergegeben. Vielleicht ist es auch gar nicht so wichtig, ob es sich um Wörter oder Zeichen handelt, aber das werde ich ja noch erfahren
Den zweiten Beweisweg spare ich mir dann an dieser Stelle... läuft ja äquivalent ab.
Gruß,
David
Geschrieben von ed209 am 18.11.2006 um 11:17:
RE: Beweis zum Kürzen in Worthalbgruppen
Zitat: |
Das mit der Definition der einzelnen Wörter oder Zeichen hätte ich auch gerne näher beschrieben, aber die Aufgabenstellung hat aus meiner Sicht an der Stelle irgendwie nicht mehr hergegeben. Vielleicht ist es auch gar nicht so wichtig, ob es sich um Wörter oder Zeichen handelt, aber das werde ich ja noch erfahren
|
Sobald du in deinem Beweis Variablen verwendest mußt du klären aus welcher Menge die Variablen sind. Sonst ist der Beweis nicht vollständig. Ich nehme mal an daß a ein beliebiger Buchstabe ist und u,w und x Wörter, aber das ist keineswegs klar-.
Die Idee ist zwar völlig richtig, aber solche Ungenauigkeiten führen schnell zu Fehlern.
Auch mußt du hinschreiben daß du die Induktion über die Länge von x machst.
Gruss,
ED
Forensoftware: Burning Board, entwickelt von WoltLab GmbH