Hallo

Was zum Geier ist eine reflexive, transitive Hülle?

Bin im F3 Skript bei der Definition der Schrittrelation einer TM drauf gestossen. Kann mir das jemand vielleicht anschaulich erklären?

Danke

Nimm die mal zwei Mengen A = {oink, wuff} und B = {mäh, miau} und eine Relation dazu mit wuff > oink, mäh > oink und miau > mäh.

Die transitive Hülle, gibt nun noch zusätzlich her:

miau > oink (wegen miau > mäh und mäh > oink, dann miau > oink (Transitivität halt))

Die reflexive Hülle enthält entsprechend Informationen über reflexive Paare, wofür ein anderes Beispiel wohl besser geeignet wäre. ;)

Ist das so verständlich?

ja danke glaube schon

Eine Menge A reicht dafuer aber :)

Eine Relation ist eine Teilmenge R von AxA und du ergaenzt alle fehlenden Elemente in R, so dass die Relation halt reflexiv und transitiv wird.

Mo