Satz von Myhill-Nerode < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Gegeben sei die Sprache L= {w [mm] \in [/mm] {a,b,c}* | [mm] |w|=2^n}
[/mm]
a) Zeigen Sie mit dem Satz von Myhill und Nerode, dass L nicht regulaer ist. |
Hallo!
z.Z. es gibt unendlich viele Aequivalenzklassen.
Mein Ansatz sieht wie folgt aus:
[mm] [a^{2^n}] \not= [a^{2^m}]
[/mm]
Fuer alle n [mm] \not= [/mm] m.
wie kann ich jetzt weiter vorgehen?
Vielen Dank!!
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Mo 15.09.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
