[bedrijven docter]

Uw definitie is niet klaar want :

of U beschrijft een semi group en dan heb je die empty string niet nodig ,maar je hebt je identity teveel.

Of U beschrijft een monoide en in dit geval ontbreekt het empty set??

Deze empty set = e ingeval van concatenation en de free monoid wordt in de wiskunde anders aangeduid als de normale monoid om het onderscheid te maken (zie definitie 12 blz 70 van boek in vorig bericht)

Uw definitie is niet verkeerd maar onvolledig ,ik denk dat U achteraan moet toevoegen de zin 'waarvan e= empty string) en dan is het duidelijk dat U een free monoide bedoelt.

wat wil je beschrijven met je handtekening ??