Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Automatentheorie » Kellerautomaten erzeugen » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 10 Beiträge
Karlito

Schöne Sache, dass es so viele Punkte geworden sind. Im Script steht, dass immer nur der Zugriff auf das oberste Element erlaubt ist.

Danke für die Rückmeldung.

VG,

Karlito
deppensido

hab heute die Musterlösung bekommen.
1,00 -E ist scheinbar wirklich nicht erlaubt, da die Musterlösung mit einem Zwischenzustand, wie du beschrieben hast, eingeführt wurde.

Hab erfreulicherweise noch 6 von 8 Punkten für die Aufgabe 1a + b erhalten smile
Karlito

Hallo,

ich weiß nicht, ob 1,00->E erlaubt ist. Ich würde im Zweifel einen Zwischenzustand einführen:

1,0->E
E,0->E

VG,

Karlito
deppensido

um die Bedingung einzuhalten müsste man pro gelesener 1 zwei 0en entfernen. Wie könnte man das anstellen? Geht z.B. 1,00 -> E ?

Punkte werd ich hierfür zwar nicht mehr bekommen, aber zur Klausurvorbereitung ist es sicherlich nicht unwichtig (Hab mich wieder aufgemuntert, zumindest weiß ich jetzt wie ein PDA funktioniert und falsch ist meiner ja nur, wegen dem Logikfehler)

Grüße
deppensido

hallo,

dazu fällt mir erst mal ein: Mist! Ich habe die ganze Zeit die Sprache:

L={0^n1^2m | n> 2m, n,m >= 0} betrachtet. Heißt, ich habe fälschlicherweise wegen den 2m geglaubt, dass die Anzahl der Einsen gerade sein muss.

Damit es klappt müsste ich also von q2 direkt nach q4 gehen mit 1,0 ->E

und an q4 nach q4, dann 1,0->E. Der Zustand q3 fällt dann natürlich weg. Natürlich müsste man die Zustände dann neu nummerieren.

Blöderweise hab ich den Zettel bereits abgegeben und für 1b) habe ich den selben Logikfehler gemacht. Jetzt geh ich wohl leer aus und die ganze Mühe war umsonst traurig

Grüße
Karlito

Hallo,

nein, ich habe Aufgabe 1a betrachtet. Und bei [latex]0^n1^m[/latex] mit n=3 und m=1 ist [latex]3 > 2\cdot 1[/latex]. Somit ist 0001 Element der gesuchten Sprache.

VG,

Karlito
deppensido

hallo,

das Wort 0001 soll ja nicht akzeptiert werden, weil eingültiges wort 2m einsen braucht. 0001 wird bei mir nicht akzeptiert, weil ich bei nur einer 1 nicht von q3 nach q4 gelangen kann und somit auch den Endzustand nicht erreiche.

Das Wort 00010 wird bei mir auch nicht akzeptiert. Begründung, wie oben. Eine Eingabe z.B.: 0011110 kann auch nicht akzeptiert werden, denn um von q4 nach q5 zu kommen, muss das Wort vollständig gelesen sein und wenn nach einer 1 eine 0 folgt, bleibt der PDA in q4 stecken.

Naja, so denk ich mir das zumindest.

Hast du vielleicht Aufgabe 1b) betrachtet?

Grüße
Karlito

Hallo,

deine Lösung funktioniert leider nicht. Prüfe mal das Wort 0001.

Probier mal pro gelesener 1 zwei Elemente vom Keller zu nehmen.

Betrachte außerdem noch den Fall 00010. Dieses Wort sollte nicht akzeptiert werden (habe ich jetzt nicht durchdacht, ob du das mit betrachtest hast).

VG,

Karlito
Karlito

Ich komme leider erst morgend dazu, mich darum zu kümmern.

VG,

Karlito
deppensido

so, im Anhang ist jetzt die korrigierte Version. Beim ursprünglichen durfte schon q1 kein Endzustand sein, da dann z.B. das leere Wort, was nicht in L1 liegt akzeptiert werden würde. Zudem hatte ich nicht geprüft, ob mindestens eine 0 gelesen wird. Wegen n > 2m muss 0 ja mindestens einmal vorkommen. Hoffe es stimmt jetzt so.

Grüße

deppensido hat dieses Bild (verkleinerte Version) angehängt:
lösung.jpg

Es sind weitere Beiträge zu diesem Thema vorhanden. Klicken Sie hier, um sich alle Beiträge anzusehen.