Frage zum Kleene-Operator
-
Was ich hier noch alles mache ist einfach deswegen weil ich es "FORMAL" beweisen soll! Da kann ich dann nicht einfach als Lösung einen kurzen Antwort-Text der Form: "Der erste deiner beiden Ausdruecke matcht "a" und der zweite nicht (nur "aa" uae.). Fertig." schreiben.
-
Nein, das schreibst du halt noch ordentlich auf, viel wird sich dadurch aber nicht aendern.
Widerlegen kannst du naemlich sehr wohl durch ein einzelnes Gegenbeispiel.
-
Ok, danke!
Dann weiß ich jetzt bescheid!
-
Das Zauberwort für diesen Beweis heißt: "Per Definition".
Die Schlüsse sind so trivial, dass nicht mehr als wenige kurze Sätze mit direkten Bezug auf die Definitionen notwendig ist.