END-AV Aufg. 8: Determ. Automaten wann keine Folgekonfiguration nötig?

Question

Hallo,

Meine Frage ist zum ersten Buch Aufgabe END-AV Aufg. 8 a)b)
in der Aufgabenstellung war die Rede von zwei Würfen eines Würfels, weshalb ist in der Musterlösung dann nochmal bei Aufgabenteil a) in der Musterlösung eine Eingabe bei Zustand s8 definiert, obwohl ja dann die zwei Würfelwürfe abgehandelt sind?

Liegt das an der Eigenschaft des det. endlichen Automaten?

Bei nichtdet. Automaten kann ja auch einfach kein Zustandsübergang für einen gewissen Zustand und Eingabe definiert sein, also leere Menge. Aber wir haben hier ja einen det-EA.

Und der Endzustand hat ja allerdings sogesehen ja auch keine weitere Eingabe definiert. Wieso ist das dann möglich?

Analog wird das auch in Aufgabenteil b) gemacht.

Answer 1

Hallo,

der Zustand S8 ist ein 'Friedhofszustand' (in dem man verloren hat), aus dem kommt man nicht mehr raus (du hast recht, bei einem nichtdeterministischen würde man den einfach weglassen). Aber ein deterministischer Automat muss in jedem Zustand für alle möglichen Eingaben (hier 1,...,6) einen Pfeil haben, sonst ist er nicht deterministisch.