Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Dann fehlt hier $(s_0, \lambda, k_0) \rightarrow (s_e, k_0)$?

0 Pluspunkte 1 Minuspunkt
200 Aufrufe
Dann fehlt hier $(s_0, \lambda, k_0) \rightarrow (s_e, k_0)$... Oder?
bezieht sich auf eine Antwort auf: Endzustand
Gefragt 9, Jan 2015 in KEL-AE von ukdbb ukdbb Lernwillige(r) (340 Punkte)  
Bearbeitet 9, Jan 2015 von Lukas König

Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo!

Nein, dieser Zustandsübergang ist nicht nötig, da der Startzustand s_0 selbst ein Endzustand ist, dh. wenn du nichts eingibst ( entspricht der Eingabe des leeren Wortes lambda), dann ist der Kellerautomat im Startzustand s_0, der aber gleichzeitig auch ein Endzustand ist.

Außerdem wäre der Kellerautomat dann nicht-deterministisch, wenn du diesen Zustandsübergang auch noch definieren würdest, was nach der Aufgabenstellung ("Geben Sie einen deterministischen Kellerautomaten A an") sogar falsch wäre!

Hier also aufpassen: So viele Zustandsübergänge definieren wie nötig, aber so wenig wie möglich (wegen der Gefahr, dann einen nichtdeterministischen Kellerautomaten zu erzeugen) !

Gruß, Janine (Tutorin)

Beantwortet 9, Jan 2015 von uedqi uedqi Tutor(in) (108,510 Punkte)  
Bearbeitet 9, Jan 2015 von uedqi uedqi
...