---

Geschrieben von TheoInf am 26.11.2015 um 11:36:

  Myhill-Nerode - Zeige L ist nicht enthalten

Hallo,

wir haben folgende Aufgabe:

Sei Sigma {a,b} und L = {a^k b^m a^n | 0 <= k <= m <= n}.
Zeigen sie mit dem Satz von Myhill-Nerode, dass L niciht enthalten ist in L(Sigma, DFA).

Ich weiß leider gar nicht wie man das zeigen soll... Ich hab mir auf wikipedia das beispiel angeschaut, verstehe aber nicht wie es zu Stande kommt, vielleicht kann mir das hier mal einer erklären...
Zwar weiß ich was ich zu zeigen hab, aber nicht wie:
Zeige dass die Äquivalenzklassen also der Index der Nerode-Relation unendlich ist, ja, aber wie zeig ich das?