Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2015 Bonusklausur

Beantwortet: Verständnisfrage Kelleralphabet

Mon, 13 Jan 2020 15:13:49 +0000

Hallo,

Prinzipiell kannst du in deinen Keller reinschreiben was du möchtest.
Diese Aufgabe wurde hier dadurch gelöst, dass nur 0 und keine 1 in den Keller geschrieben wurden.
Die Lösung zu dieser Aufgabe ist aber nur ein Vorschlag und nicht zwangsläufig die einzig richtige Antwort.

Ich hoffe, das hilft dir weiter

Viele Grüße

Jara (Tutorin)

Beantwortet: Wie sieht die richtige Reihenfolge in den Konfigurationsübergängen von Kellerautomaten aus?

Sat, 04 Jan 2020 15:38:54 +0000

Hallo,

in den aktuellen Tutorien und neueren Klausuraufgaben wird die Notation verwendet, bei der das unterste Zeichen im Keller ganz rechts steht. In deinem Beispiel sähe das wie folgt aus:

Ich würde dir empfehlen diese Notation zu verwenden, da ich die andere Notation persönlich mit Ausnahme von dieser Aufgabe noch nicht gesehen habe.

Viele Grüße,

Sören (Tutor)

Antwort bearbeitet: Alternativ $(s_1, 0, k_0) \rightarrow (s_1, k_0)$ anstelle von $(s_e, 0, k_0) \rightarrow (s_e, k_0)$ möglich?

Mon, 15 Jan 2018 20:55:04 +0000

Hallo,

die von Ihnen vorgeschlagene Änderung erzeugt einen nichtdeterministischen Automaten, da der Lambdaübergang aus s1 dann nicht mehr eindeutig ist.

Mit freundlichen Grüßen
Laurin (Tutor)

Beantwortet: Kellerautomat

Sat, 13 Jan 2018 11:29:39 +0000

Hallo uuqmj.

Es passiert folgendes: Zuerst wird das & gelesen

(s0, &, k0) → (s1, k0)

Dann befindet der Automat sich in Zustand s1 und der Keller ist leer. Der einzige Zustandsübergang dazu ist

(s1, λ, k0) → (se , k0).

Im Endzustand liest er die letzten Nullen, dann ist er fertig und das Wort wird akzeptiert.

Du könntest auch einen weiteren Zustand einfügen mit

(s1, 0, k0)-> (se, k0)

Felix (Tutor)

Kommentiert: Fehlender Zustandsübergang für zulässige Eingabe &00

Mon, 08 Jan 2018 14:34:35 +0000

Oh sorry, ich meinte natürlich die PDF zum zweiten Tut. Da ist allerdings auch die Animation drin. Wenn du bei der Aufgabe auf den XWizard Link klickst kommst du automatisch zu der passenden Animation. Allerdings ist die Seite vom XWizard momentan noch offline, darum wird sich aber schon gekümmert und es müsste bald wieder funktionieren.

Außer den XWizard Anomationen und den PDFs gibt es meiner Meinung nach keine anderen Animationen.

Viele Grüße :)

Beantwortet: Endzustand

Mon, 16 Jan 2017 18:54:27 +0000

Hallo,

das Leere Wort kann zu jeder Zeit eingelesen werden. Das Leere Wort steht quasi zwischen allen Ziffern und Zeichen immer implizit dabei. Statt 1010 könnte man das Wort auch darstellen als lambda1lambda0lambda1lambda0lambda

Grüße, Sören (Tutor)

Beantwortet: Warum akzeptiert der Endzustand eine 0?

Mon, 16 Jan 2017 13:11:22 +0000

Die Wörter der Sprache enthalten in dem Teil nach "&" so viele Einsen, wie der Teil vor dem "&" lang ist. Das heißt der Kellerautomat akzeptiert auch Wörter, die auf beliebig viele Nullen enden. Wichtig ist nur, dass die Anzahl der Einsen korrekt ist. Deshalb akzeptiert der Kellerautomat im Endzustand auch noch Nullen.

Viele Grüße

Aileen (Tutorin)

Beantwortet: Was genau ist bei vollständig angeben verlangt

Sun, 15 Jan 2017 14:22:30 +0000

Ja, der Automat muss mit $A=(E,S,\delta,s_0,F)$ definiert werden. Dabei ist egal ob man $\delta$ als Zustandsüberführungstabelle oder Zustandsüberführungsdiagramm angibt. Eines von beiden reicht aus.

Viele Grüße

Philipp (Tutor)

Antwort bearbeitet: Alternativer Übergang

Tue, 19 Jan 2016 09:53:27 +0000

Hallo ukehj,

1. Dein Kellerautomat ist deterministisch, weshalb er eine Loesung zur Aufgabe ist.

2. Dein Kellerautomat passt abgesehen von 1. soweit.

3. Der direkte Uebergang ist also in dem Fall moeglich.

Viel Erfolg,

Marvin (Tutor)

Update: Der Automat ist natuerlich deterministisch, da der Uebergang mit $ \lambda $ nicht von $ s_0 $ ist, bitte das zu entschuldigen!

Beantwortet: Wie komme ich auf eine bestimmte Folgekonfiguration eines Kellerautomaten?

Fri, 15 Jan 2016 21:41:23 +0000

Hallo,
wie du schon bemerkt hast wird hier jeweils der Übergang benutzt bei dem ein Lambda eingelesen wird. Dies ist prinzipiell an jeder Stelle eines Wortes möglich, da ich zwischen den Zeichen immer ein leeres Wort(was ja quasi Nichts ist) gedanklich einfügen könnte.
Viele Grüße,
Janina (Tutorin)

Beantwortet: alternativlösung

Mon, 11 Jan 2016 14:26:35 +0000

Noch ein weiterer Hinweis zu Alternativlösungen: Sie können auch den XWizard nutzen, um Ihre Lösungen zu überprüfen.

Das Skript zu Ihrer Lösung wäre:

pda:

(s0, 1, k) => (s1, ak);

(s0, 0, k) => (s1, ak);

(s0, U, k) => (s2, k);

(s1, 0, a) => (s1, aa);

(s1, 1, a) => (s1, aa);

(s1, U, a) => (s2, a);

(s2, 0, a) => (s2, a);

(s2, 1, a) => (s2, lambda);

(s2, lambda, k) => (se, k);

(s2, 0 , k) => (s2, k);

--declarations--

s0=s0;

F=se;

kSymb=k;

inputs=01U110

--declarations-end--

Sie können auch einfach über diesen Link darauf zugreifen:

http://www.xwizard.de:8080/Wizz?template=ID-10945#Output

Dort sehen Sie auch, wie sich die Berechnung bei dem Lambda-Übergang aufspaltet in zwei separate Pfade, also nichtdeterministisch wird.

(PS. Ich hab das &-Symbol durch U ersetzt, weil sonst die Darstellung nicht in Ordnung war.)

Kommentiert: Lösungen Bonusklausur

Mon, 11 Jan 2016 12:40:35 +0000

Einfach mal den Browser refreshen. PDFs werden zunächst aus dem Cache gelesen.

Beantwortet: Finde in YouSubscribe keine Anmeldedaten.

Mon, 11 Jan 2016 09:51:47 +0000

Die erfolgreiche Anmeldung zur Bonusklausur können Sie im Wiwi-Portal nachprüfen.

Viele Grüße

Friederike Pfeiffer-Bohnen

Beantwortet: Bonusklausuranmeldung

Mon, 11 Jan 2016 09:09:18 +0000

Hallo,

die Anmeldedaten sind im WiwiPortal online. Sie können also nachprüfen, ob Sie angemeldet sind. Am Freitagabend wird voraussichtlich die Hörsaalbelegung online gehen.

Viele Grüße

Friederike Pfeiffer-Bohnen

Beantwortet: Bonusklausuranmeldung

Thu, 07 Jan 2016 12:17:35 +0000

Sie sollten eigentlich doch wissen, ob Sie angemeldet sind. Aber ich kann Sie beruhigen, Sie sind angemeldet.

Viele Grüße

Friederike Pfeiffer-Bohnen