| 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? 
TheoInf hat dieses Bild (verkleinerte Version) angehängt:
|
