Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2015 Bonusklausur

Verständnisfrage Kelleralphabet

Mon, 13 Jan 2020 14:53:54 +0000

Hallo zusammen,

mir ist nicht klar, wieso man 1 nicht in den Keller schreiben kann. Gibt es ein Regel für das Kelleralphabet?

Danke im Voraus und beste Grüße

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

Sat, 04 Jan 2020 11:22:11 +0000

Guten Tag,

mir ist in der Musterlösung aufgefallen, dass hier bei den Konfigurationsübergängen des Kellerautomats der Keller in folgender Form z.B. angegeben wurde: (so, &110,ko00).

ich hatte das aus dem Tutorium aber so mitgenommen, dass man das auch in der Form (so,&110,00ko) schreiben kann.

Passen da beide Lösungen oder gibt es hier eine Konvention die ich beachten muss bzgl. Der Reihenfolge des Kellers?

vielen Dank im Voraus

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 17:07:33 +0000

Hallo,

wäre $(s_1, 0, k_0) \rightarrow (s_1, k_0)$ anstelle von $(s_e , 0 , k_0) \rightarrow (s_e, k_0)$ denn auch möglich? Wenn so alle Nullen am Ende abgearbeitet sind, kommt man über $(s_1, \lambda, k_0) \rightarrow (s_e, k_0)$ ja auch zum Abschluss?

Beste Grüße

Kellerautomat

Fri, 12 Jan 2018 17:51:24 +0000

Was passiert bei Aufgabe 2 der Bonusklausur, wenn die Eingabe vorgegebene Testeingabe &00 kommt,

denn der Keller ist leer, und dafür haben wir nicht explizit einen Zustand definert - gibt es hier die Sonderregel, dass wir dann in (s1,Lamda,ko ) springen ?

Oder könnte man auch nochmal ein Zustand erstellen mit (s1,0,k0) ?

Danke

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

Mon, 08 Jan 2018 10:55:48 +0000

Hallo,

bei dem in der Lösung angegebenen Automaten fehlt meiner Ansicht nach der Übergang von (s1, 0, k) => (se, k), sprich für die eigentlich zulässige Eingabe &0, &00,... akzeptiert der Automat nicht.

Denkfehler oder Fehler in der Lösung?

Danke.

Endzustand

Mon, 16 Jan 2017 16:20:37 +0000

Hallo Aileen,

dies ist auch mein Verständnis, allerdings ist der Endzustand doch überhaupt erst mit einem leeren Wort erreicht worden (s1, lambda, ko) -> (se, ko) ?!

Wenn das Wort schon leer war, wie sollen dann im Endzustand noch weitere Nullen behandelt werden? Korrekt wäre meines Erachtens (s1, 0, ko) -> (s1, ko) zur Behandlung weiterer Nullen wenn der Keller schon leer ist. Sobald das Wort dann leer und keine 1 mehr aufgetreten ist, wechselt der Automat in den Endzustand.

Gruß

Warum akzeptiert der Endzustand eine 0?

Mon, 16 Jan 2017 12:50:35 +0000

In der Lösung in der vorletzten Zeile wird Lamda akzeptiert und es geht in den Endzustand über. k0 wird nicht verändert. Warum gibt es dann für den Endzustand den Fall, dass eine 0 akzeptiert wird?

Was genau ist bei vollständig angeben verlangt

Sun, 15 Jan 2017 13:47:31 +0000

Hallo,

reicht es hier den Automaten zu definieren und entweder die Überführungstabelle oder das Überführungsdiagramm anzugeben?

Vielen Dank

Alternativer Übergang

Mon, 18 Jan 2016 22:10:24 +0000

Ist auch direkt der Übergang (s0, &, k0) -> (SE, k0) möglich?

Meine Übergänge. Leider ist es mir aus unerfindlichen Gründen nicht möglich einen Ableitungsbaum im xwizard zu erstellen und ich weiß lediglich, dass das Testwort akzeptiert wird.
(s0, 1, k) => (s0, ak);
(s0, 0, k) => (s0, ak);
(s0, U, k) => (se, k);
(s0, 0, a) => (s0, aa);
(s0, 1, a) => (s0, aa);
(s0, U, a) => (s1, a);
(s1, 0, a) => (s1, a);
(s1, 1, a) => (s1, lambda);
(s1, lambda , k) => (se, k);
(se, 0 , k) => (se, k);

Vielen Dank und viele Grüße!

Wie komme ich auf eine bestimmte Folgekonfiguration eines Kellerautomaten?

Fri, 15 Jan 2016 20:44:42 +0000

Ich habe eine Frage zur Akzeptanz des Testwortes.

Ich stehe gerade auf der letzen Null im Wort. Meine Konfiguration ist (s1, 0, k0).

Wie komme ich dann auf die Folgekonfiguration (se, 0, k0) ?

Ein Überführung von s1 auf se, wenn ich eine „0“ lese und der Keller leer ist (also nur k0 drinnen steht), ist ja gar nicht definiert, man benutzt die Überführung (s1, Lambda, k0) => (se, k0). Aber ich habe doch noch eine „0“ zu lesen und gar kein Lambda.

Wenn ich jetzt das gegebene Beispielwort „&00“ anschaue, komme ich auch nicht weiter: ich lese zuerst das „&“ und gehe in s1, Keller bleibt leer auf k0. Jetzt lese ich aber eine 0, doch es fehlt wieder die Konfiguration für (s1, 0, k0). Wie kann der Kellerautomat dieses Beispielwort akzeptieren?

alternativlösung

Mon, 11 Jan 2016 13:22:32 +0000

A = ({0,1, &) , (s1, s2 ,s0 , se) , (a, k0), δ, s0, k0, {se} )

δ : {(s0, 1, ko) -> (s1, ak0) ;

(s0, 0, ko) -> (s1, ak0) ;

(s0, &, ko) -> (s2, k0) ;

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

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

(s1, &, a) -> (s2, a) ;

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

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

(s2, lambda, ko) -> (se, k0) ;

(s2, 0 , k0 ) -> (s2, k0) }

Finde in YouSubscribe keine Anmeldedaten.

Mon, 11 Jan 2016 09:44:35 +0000

Hallo,

Ich bin mir sehr sicher, dass ich mich für die Bonusklausur angemeldet habe. Dennoch finde ich in YouSubscribe überhaupt nichts. Kann es sein, dass da was schieflief?

Ist bei einem Kommilitone von übrigens genauso.

MfG

utdqr

Bonusklausuranmeldung

Sun, 10 Jan 2016 17:36:19 +0000

Wie kann ich wissen, ob ich mich schon richtig zur Bonusklausur angemeldet habe? Bei Yousubscribe gibt's nichts mehr

Lösungen Bonusklausur

Fri, 08 Jan 2016 10:29:05 +0000

Hallo,

werden die Lösungen für die Bonusklausur 2015 nicht hochgeladen?

Bonusklausuranmeldung

Thu, 07 Jan 2016 12:13:13 +0000

Wie kann ich überprüfen ob ich mich zur Bonusklausur angemeldet habe? Bei Yousubscribe steht nichts mehr