FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F3 - Zettel 3

F3 - Zettel 3 2004-07-17 14:59
Anonymer User
Was ist der Unterschied zwischen "freies" Monoid und Monoid im Bezug auf Präsenzaufgabe 3(i)?

Danke.

Re: F3 - Zettel 3 2004-07-17 15:34
theorinix
Was ist der Unterschied zwischen "freies" Monoid und Monoid im Bezug auf Präsenzaufgabe 3(i)?

Danke.

Def. 2.43 Seite 30 F2(!)-Skript

und 2.47 Beispiel S. 33 F2-Skript

das sollte helfen, M.J.

Re: F3 - Zettel 3 2004-07-17 17:38
Anonymer User
Danke.
Dann könnte die Antwort doch auch lauten:
Weil das Assoziativgesetz gilt, da die Konkatenation (d.h., die Halbgruppe ist erfüllt) und weil \lambda als neutrales Element genutzt wird (Definition Monoid).
Aber ich habe das dumpfe Gefühl, dass "freies" noch mehr zu bedeuten hat…


Re: F3 - Zettel 3 2004-07-17 20:15
theorinix
Danke.
Aber ich habe das dumpfe Gefühl, dass "freies" noch mehr zu bedeuten hat…

Da hilft doch aufmerksames Lesen:
im letzten Item von Def. 2.43 Seite 30 F2-Skript steht doch etwas von eindeutiger Zerlegbarkeit eines Monoid-Elementes in die Erzeugenden!

… das hatte ich in der Vorlesung (hingehen WAR wichtig) gesagt, und einige Ü-Leiter sicher auch erklärt …

M.J.