Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in 2009 Bonusklausur

Beantwortet: Alternativer Lösungsvorschlag Bonus 2009 A2

Tue, 17 Jan 2017 09:45:51 +0000

Leider ist dein Kellerautomat wegen dem Übergang $(s_0,\lambda,k_0) \rightarrow (s_e,k_0)$ nicht deterministisch, da für $s_0$ und $k_0$ noch weitere Übergänge definiert sind.
Deine Lösung ist also nicht richtig.

Viele Grüße
Julia (Tutorin)

Beantwortet: Fehlt hier nicht ein Zustandsübergang wie $(s_1, 1, k_0)$?

Tue, 29 Sep 2015 10:13:22 +0000

Hallo,

die Frage kam gestern auch schon bei mir im Tutorium auf und ich habe mir die Aufgabe gerade nochmal durchgelesen. Wenn man in $s_1$ ist und nur noch $k_0$ im Keller ist, wird ein Lamda-Übergang gemacht, dh der Kellerautomat liest dann (weil eben der Übergang $(s_1,\lambda, k_0)$ angegeben ist) einfach das leere Wort. Im Zustand so kann die weitere 1 jetzt ganz normal eingelesen werden.

Einen weiteren Übergang mit $(s_1,1,k_0)$ darf zusätzlich nicht definiert werden, weil der Automat dann nicht-deterministisch wäre, aber ein deterministischer ausdrücklich verlangt ist.

Grüße Dominik (Tutor)

Beantwortet: alternative Lösung mit extra Endzustand möglich?

Tue, 29 Sep 2015 10:11:30 +0000

Hallo ,

(wenn mich nicht alles täuscht, dann ist dies eine Aufgabe ausm Tut gewesen)

meinst du das so, dass du gerne von s0 aus einen Übergang in den Endzustand se definieren möchtest? Das geht in diesem Fall leider nicht, da du dann einmal Übergänge hast wie

(s0,0,k0) -> (s0,0k0)

und andererseits

(s0,lambda,k0) -> (se,k0)

Das ist dann aber nicht mehr deterministisch. Denn dein KA hat dann keine Ahnung, ob er das nächste Zeichen ignorieren soll (dann würde er den lambda-Übergang wählen) oder nicht (dann würde er den oberen Übergang wählen).

Viele Grüße,

Vivian (Tutor)