|
![]() ![]() ![]() ![]() ![]() |
Gegeben sei die Relation R und a ∈ R. Dann läßt sich die transitive Hülle folgendermaßen bestimmen:
![]() | Setze C <- {a}.
|
![]() | Setze C' <- C.
|
![]() | Bestimme für jedes c ∈ C die Menge
T = {t | (c,t) ∈ R}.
|
![]() | Setze C <- C ∪ T.
|
![]() | Springe zu T2, falls C ≠ C'.
|
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |