Wir sollen einegegebene Sprachen darauf prüfen ob diese regulär ist, mit dem Satz von Myhill und Nerode.
Ich verstehe zwar die Relation, mir ist aber nicht klar wie man die Äquivalenzklassen aufstellt
Wir haben folgende Definition der Relation
Sei \( L \subseteq \Sigma^{*} \) gegeben. Für \( x, y \in \Sigma^{*} \) gelte \( x R_{L} y \) genau dann, wenn
\( \left(\forall z \in \Sigma^{*}\right)[x z \in L \Longleftrightarrow y z \in L] . \)
Und folgende Sprache
\( L = \{ 0x | x \in \Sigma^{*}\}\)
Wie würde hier die Beweisführung aussehen bzw. wie würde man die Äquivalenzklassen aufstellen?
