akzeptierte formale Sprachen < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:28 So 22.08.2010 | | Autor: | melodie |
| Aufgabe | a) Geben Sie einen endlichen Akzeptor A = (Z, z0,X, f, F) an, für den gilt:
L(A) = { [mm] a^nb^m [/mm] | n mod 2 = m mod 3 } |
Hallo,
ich komme hier einfach nicht auf die zugelassenen Wörter. ich habe n mod 2 = m mod 3 so verstanden, dass n/2 und m/3 den selben Rest ergeben? Falls das so richtig ist, soll ich einfach werte für n und m einsetzen und beim selben Rest ein Wort mit den Werten zulassen?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 07:44 Di 24.08.2010 | | Autor: | rainerS |
Hallo!
> a) Geben Sie einen endlichen Akzeptor $A = (Z, z0,X, f, F) $
> an, für den gilt:
> $L(A) = [mm] \{ a^nb^m | n \bmod 2 = m \bmod 3 \} [/mm] $
>
> Hallo,
> ich komme hier einfach nicht auf die zugelassenen Wörter.
> ich habe n mod 2 = m mod 3 so verstanden, dass n/2 und m/3
> den selben Rest ergeben? Falls das so richtig ist, soll ich
> einfach werte für n und m einsetzen und beim selben Rest
> ein Wort mit den Werten zulassen?
Im Prinzip ja. Ein bischen genauer kannst du es schon angeben: der Rest beim Teilen durch 2 ist ja entweder 0 (n gerade) oder 1 (n ungerade). Also muss m durch 3 teilbar sein, wenn n gerade ist, und m-1 durch 3 teilbar sein, wenn n ungerade ist.
Viele Grüße
Rainer
|
|
|
|
