Folien

2.86 Definition
Eine Relation R ⊆ M × M auf einer Menge M ist eine
Äquivalenzrelation, falls gilt:
◮ R ist reflexiv:
für alle x ∈ M gilt: (x, x) ∈ R;
◮ R ist symmetrisch:
für alle x, y ∈ M gilt: Wenn (x, y) ∈ R ist, dann ist auch
(y, x) ∈ R;
◮ R ist transitiv:
für alle x, y, z ∈ M gilt: Wenn (x, y) ∈ R und (y, z) ∈ R, dann
auch (x, z) ∈ R.
Zustandsminimierung endlicher Automaten 112/124