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

Kommentiert: Alternativer Lösungsvorschlag Bonus 2009 A2

Tue, 17 Jan 2017 10:30:46 +0000

Das stimmt zwar, aber ich denke, dass wir bei einer Bonusklausur den Automaten als richtig gewertet hätten, obwohl er nicht deterministisch ist - FALLS alles andere korrekt ist!

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

Sat, 10 Oct 2015 06:02:24 +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)