Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in END-AV

Beantwortet: Frage zu Teil a) Deterministischer EA: Wieso gibt es da bestimme Zustandsübergänge?

Mon, 28 Dec 2015 11:30:53 +0000

Hallo utdtz,

eigentlich hast du dir die Antwort bereits selbst gegeben in deinem ersten Satz: Man "soll man einen deterministischen EA entwickeln".

Das bedeutet, dass es von jedem Zustand für jedes Eingabesymbol genau ein Folgezustand geben muss. Das Spiel selbst ist zwar nach 2 Würfen auf jeden Fall beendet (dh. du befindest dich in s7, falls Wort akzeptiert wird, oder s8), aber damit der Automat deterministisch ist, muss man formal noch die Übergänge von s7 zu s8 bzw. s8 zu s8 einführen, damit (wie nach der Definition gefodert) für jeden Zustand für jedes Eingabesymbol genau ein Folgezustand definiert ist.

Ich hoffe, das hilf dir weiter!

Viele Grüße,
Janine (Tutorin)

Beantwortet: Zustand s8 notwendig?

Fri, 24 Oct 2014 09:04:05 +0000

Sie haben recht, dass mit der derzeitigen Aufgabenstellung die Angabe eines nichtdeterministischen EA ausreichend wäre. Demnach haben wir das "deterministisch" in der Aufgabenstellung ergänzt.

Danke für den Hinweis.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: "vollständiger Automat" in Aufgabenstellung?

Fri, 24 Oct 2014 09:02:57 +0000

Ich gehe davon aus, dass Sie sich mit der Frage nach der Vollständigkeit auf die Anweisung "Geben Sie den Automaten vollständig an" beziehen?!

Hiermit sollen Sie nur darauf hingewiesen werden, dass Sie diesen mit A = (E, S, delta, s0, F) komplett definieren. müssen. Das wird eigentlich immer so verlangt.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König

Beantwortet: Pfeil von s8 zu sich selbst sinnvoll/ nötig?

Fri, 24 Oct 2014 09:00:45 +0000

Bezüglich des Wiederholten Würfelns, also dem Pfeil von s8 auf sich selbst, so wird dieser bei einem deterministischen Automaten auch benötigt, da der AUtomatn zwar nur zwei Würfe akzeptiert, man aber für jede weitere Operation auch festlegen muss, in welchem Zustand sich dieser befindet.

Demnach würde ein dritte Wurf nicht zu einer Akzeptanz führen, aber der Automat muss damit trotzdem umgehen können.

Viele Grüße

Friederike Pfeiffer-Bohnen und Lukas König