Ich bin ehrlich gesagt, noch etwas verwirrt, wie das mit Myhill Neurode und diesen Äquivalenzklassen funktioniert.
Eine Sprache L besteht aus ab^k k ist element der Natürlichen Zahlen, von 0 bis n
Wie viele Äquivalenzklassen nach Myhill Neurode gibt es jetzt hier? Die Implizite Fehler Äquivalenzklasse lassen wir weg.
Wie geht man vor:
Erstmal, was sind gültige Wörter der Sprache
a, ab, abb, abbb, abbbb....
In{ } stehen die Wörter, dahinter die Präfixe
{a, ab, abb, abbb, abbbb...} Präfix b
Das selbe wäre möglich für
{a, ab, abb, abbb, abbbb..} Präfix epsilon
{a, ab, abb, abbb, abbbb..} Präfix bb
Wie man sieht stehen in jedem Klammerpaar {....} die selben Wörter.
=> Gibt es jetzt nur "eine" Äquivalenzklasse?
=> Was ist wieder mit epsilon? Bildet dies eine eigene Äquivalenzklasse?
{ epsi} als Präfix a
{epsi} als Präfix ab
{espi} als Präfix abb
...
Gibt es jetzt hier für ab^k eine eigene epsilon Äquivalenzklasse oder gibt es sie nicht?
Ich bin hier ehrlich gesagt ziemlich verwirrt, da ich keine klare Struktur erkenne, wann ich eine eigene epsilon Äquivalenzklasse brauche und wann nicht.