Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...

Kapitel 0: Grundbegriffe
Mengen / Relationen
u Ein einfacher Zusammenhang
• es sei R eine Relation R über A
Dann gilt: Refl(Trans(R)) = Trans(Refl(R)).
... es ist egal, ob man erst die transitive und dann die reflexive Hülle
oder erst die reflexive und dann die transitive Hülle bildet
u Reflexiv-transitive Hülle
• Die reflexiv-transitive Hülle R* einer Relation R über A ist die wie folgt
definierte Relation: R* = Refl(Trans(R)).
... per Definition gilt: R* = R + ∪ { (a,a) | a ∈ A }
0/2, Folie 30 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik