Berechnen der transitiven Hülle

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'.

	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'.