Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...
Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ... Kapitel 0: Grundbegriffe 0. Grundbegriffe 1. Endliche Automaten 2 ...
Kapitel 0: Grundbegriffe Mengen / Relationen u Reflexivität / Symmetrie / Transitivität • Eine Relation R auf A ist reflexiv gdw. für alle a ∈ A gilt: (a,a) ∈ R. • Eine Relation R auf A ist symmetrisch, falls für alle a,b ∈ A gilt: Wenn (a,b) ∈ R, so (b,a) ∈ R. • Eine Relation R auf A ist transitiv gdw. für alle a,b,c ∈ A gilt: Wenn (a,b) ∈ R und (b,c) ∈ R, so auch (a,c) ∈ R 0/2, Folie 28 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik
Kapitel 0: Grundbegriffe Mengen / Relationen u Transitive Hülle • Die transitive Hülle Trans(R) einer Relation R über A ist die kleinste Relation mit folgenden Eigenschaften: • wenn (a,b) ∈ R, so (a,b) ∈ Trans(R) • wenn (a,b) ∈ Trans(R) und (b,c) ∈ Trans(R), so (a,c) ∈ Trans(R) ... statt Trans(R) ist auch die Bezeichnung R + üblich u Reflexive Hülle • Die reflexive Hülle Refl(R) einer Relation R über A ist die wie folgt definierte Relation: Refl(R) = R ∪ { (a,a) | a ∈ A }. 0/2, Folie 29 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik
- Seite 1 und 2: Kapitel 0: Grundbegriffe Gliederung
- Seite 3 und 4: Kapitel 0: Grundbegriffe Alphabete
- Seite 5 und 6: Kapitel 0: Grundbegriffe Alphabete
- Seite 7 und 8: Kapitel 0: Grundbegriffe Alphabete
- Seite 9 und 10: Kapitel 0: Grundbegriffe Alphabete
- Seite 11 und 12: Kapitel 0: Grundbegriffe Alphabete
- Seite 13 und 14: Kapitel 0: Grundbegriffe Alphabete
- Seite 15 und 16: Kapitel 0: Grundbegriffe Mengen / R
- Seite 17 und 18: Kapitel 0: Grundbegriffe Mengen / R
- Seite 19 und 20: Kapitel 0: Grundbegriffe Mengen / R
- Seite 21 und 22: Kapitel 0: Grundbegriffe Mengen / R
- Seite 23 und 24: Kapitel 0: Grundbegriffe Mengen / R
- Seite 25 und 26: Kapitel 0: Grundbegriffe Mengen / R
- Seite 27: Kapitel 0: Grundbegriffe Mengen / R
- Seite 31: Kapitel 0: Grundbegriffe Mengen / R
<strong>Kapitel</strong> 0: <strong>Grundbegriffe</strong><br />
Mengen / Relationen<br />
u Transitive Hülle<br />
• Die transitive Hülle Trans(R) einer Relation R über A ist die kleinste<br />
Relation mit folgenden Eigenschaften:<br />
• wenn (a,b) ∈ R, so (a,b) ∈ Trans(R)<br />
• wenn (a,b) ∈ Trans(R) und (b,c) ∈ Trans(R), so (a,c) ∈ Trans(R)<br />
... statt Trans(R) ist auch die Bezeichnung R + üblich<br />
u Reflexive Hülle<br />
• Die reflexive Hülle Refl(R) einer Relation R über A ist die wie folgt<br />
definierte Relation: Refl(R) = R ∪ { (a,a) | a ∈ A }.<br />
0/2, Folie 29 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik