This commit is contained in:
David Schirrmeister 2025-05-18 13:58:32 +02:00
parent 1fd1c934cb
commit 30ed1417e6

View File

@ -9,7 +9,7 @@ Ist der Nerode-Index unendlich, so geben Sie 5 selbst gewählte Nerode-Klassen d
- $L_2 = \{ w \in \{ a, b \}^* \mid \#a(w) \equiv \#b(w) \mod 3 \}$ über dem Alphabet $\Sigma_2 = \{ a, b \}$
- Nerode-Index = 3
- $N_0 = N(ε) = \{w ∈ \{a,b\}^*\space|\space 0 = \#_a(w) = \#b(w) }$
- $N_0 = N(ε) = \{w ∈ \{a,b\}^*\space|\space 0 = \#_a(w) = \#b(w) \}$
- $N_1 = N(a) = \{w ∈ \{a,b\}^*\space|\space 1 ≡ \#_a(w) ≡ \#b(w) \mod 3\}$
- $N_2 = N(aa) = \{w ∈ \{a,b\}^*\space|\space 2 ≡ \#_a(w) ≡ \#b(w) \mod 3\}$
- $N_3 = N(aaa) = \{w ∈ \{a,b\}^*\space|\space 0 ≡ \#_a(w) ≡ \#b(w) \mod 3\}$