Myhill-Nerode - Zeige L ist nicht enthalten

Neue Frage »

Auf diesen Beitrag antworten »
TheoInf 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? verwirrt
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »