![](https://images.gutefrage.net/media/default/user/13_nmmslarge.png?v=1551279448000)
![](https://images.gutefrage.net/media/default/user/13_nmmslarge.png?v=1551279448000)
Antwort
Wenn du die Relation nicht direkt anwenden willst weil das zu kompliziert ist, überlege dir, dass der Index einer zugehörigen Nerode-Relation einer Sprache L der Anzahl der Zustände des minimalen deterministischen Automaten entspricht welcher L akzeptiert.