Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2012-H-02

Beantwortet: 4 Zusände

Thu, 08 Feb 2018 08:02:02 +0000

Hallo,

generell ist es natürlich immer möglich auch mehr Zustände zu verweden, als mindestens benötigt werden. Die vorgegebenen Lösungen in den Klausuraufgaben, wie auch in den Tutorien, sind oftmals nicht die einzig "richtigen" Lösungen. Manchmal ist es mit mehr Zuständen intuitiver/ einfacher zu lösen, auch wenn die letztendliche Lösung komplizierter aussieht.

So lange dein Kellerautomat alle Wörter der Sprache (und nur diese) erkennt, ist er ebenfalls richtig. Wenn du auf Nummer sicher gehen willst, kannst du deine Lösung auch hier reinstellen.

Liebe Grüße

Verena (Tutor)

Beantwortet: Welche Wörter akzeptiert der KA?

Tue, 22 Sep 2015 12:48:53 +0000

Hallo,

wie in der Aufgabenstellung beschrieben, ist L die Sprache aller wohlgeformten Klammerausdrücke. Wohlgeformte Klammerausdrücke enthalten alle Klammerstrukturen, bei denen es zu jeder öffnenden Klammer auch eine schließende Klammer gibt. Die öffnende Klammer muss hierbei vor der schließenden Klammer auftreten. Verschiedene Klammern können beliebig geschachtelt werden, wobei die innerste Klammer immer als erstes wieder geschlossen werden muss.

Ich hoffe, dass das so klarer ist.

Viele Grüße

Friederike Pfeiffer-Bohnen (Übungsleiter)

Beantwortet: Verständnis Lambda-Übergang und Determinismus

Tue, 22 Sep 2015 12:48:00 +0000

Ja das ist richtig. In der Aufgabe 2 a) gibt es bei dem deterministischen KA den Übergang (s1,Lambda,k0) |- (s0,k0). Nun darf aber kein weiterer Übergang mit (s1,beliebig,k0) vorkommen, sonst wird der KA nichtdeterministisch.

Moritz (Tutor)

Beantwortet: Faustregel für Zustandsübergänge?

Tue, 22 Sep 2015 12:46:28 +0000

Hallo,

das ist natürlich schwer zu pauschalisieren. Im Endeffekt solltest du selbst mit der Zeit ein Gefühl dafür entwickeln, wann ein neuer Zustand notwendig ist. Du brauchst nur dann einen neuen Zustand, wenn die bisher definierten Zustandsüberführungen für diesen Zustand nicht mehr gültig sind, also etwas anderes gemacht werden soll oder eine Zustandsüberführung nicht mehr verwendet werden darf. Grundsätzlich empfehle ich aber, lieber einen Zustand mehr zu definieren. Hierbei ist jedoch wichtig, dass für den vorherigen Zustand definierte Übergänge für diesen Übergang noch mal definiert werden müssen, falls dies notwendig ist. Das wird nämlich gerne mal vergessen.

Grüße

Simon

Beantwortet: Produktion des Testwortes: Warum (s1; [()]; k0) -> (s0; [()]; k0) Übergang?

Tue, 22 Sep 2015 12:45:07 +0000

Hallo,

ich glaube du hast da etwas grundsätzlich falsch verstanden: Lambda ist nie Teil deines Wortes, sondern es bedeutet, dass du einfach kein Zeichen einliest! Somit ist ein Zustandswechsel möglich, ohne dass ein Zeichen eingelesen werden muss.

Diesen Übergang benutzt du also, damit du wieder in den Zustand S0 gelangst. Das ist nötig, weil k0 zu diesem Zeitpunkt dein oberstes Kellerzeichen ist und du im Zustand S1 sonst nicht weiter machen kannst.

Viele Grüße

Lukas (Tutor)