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 ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
<strong>Kapitel</strong> 0: <strong>Grundbegriffe</strong><br />
Mengen / Relationen<br />
u Reflexivität / Symmetrie / Transitivität<br />
• Eine Relation R auf A ist reflexiv gdw. für alle a ∈ A gilt:<br />
(a,a) ∈ R.<br />
• Eine Relation R auf A ist symmetrisch, falls für alle a,b ∈ A gilt:<br />
Wenn (a,b) ∈ R, so (b,a) ∈ R.<br />
• Eine Relation R auf A ist transitiv gdw. für alle a,b,c ∈ A gilt:<br />
Wenn (a,b) ∈ R und (b,c) ∈ R, so auch (a,c) ∈ R<br />
0/2, Folie 28 © 2013 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik