:) Ich hätte heute zu dieser Aufgabe eine Frage v a. zur c) :
S* sagt dabei bloß aus, dass es sich um eine reflexive transitive Hülle handelt.
a) und b) habe ich bereits gemacht und ich werde meine Überlegungen dazu später aufschreiben wollen..
Allerdings weiß ich nicht wie ich bei c) vorgehen soll, zumal ich befürchte, dass ich womöglich die Definition falsch verstehe. Bis jetzt hab ich mir bloß gedacht, dass diese Relation symmetrisch sein kann.
Denn um S~S gütlig zu machen muss ja auch S ⊆ S ⊆ S* gelten, was an sich kein Problem ist, da das ebenfalls als S⊆ S* abgekürzt werden kann...
;)