Aufgabe 8 Übungsbuch Band I

Question

Muss man bei einem deterministischen endlichen Automaten immer alle möglichen Übergänge angeben oder reicht es die anzugeben, die nötig sind um auf einen Endzustand zu kommen?

In der Aufgabe 8 des Übungsbuches, bei dem es um ein Würfelspiel geht, werden immer alle "Wege" angegeben auch wenn sie in einer Sackgasse enden.

Kann man diese Wege dann nicht einfach weglassen weil der Automat ja eh abbricht?

Answer 1

Von der Idee her könnte man sie weglassen, wie es bei KA und TM ja auch der Fall ist, aber bei EA haben wir definiert, dass deterministische Automaten ALLE Paare von Eingabezeichen und Zustand definiert haben müssen.

Die Antwort ist also: Nein, man darf diese Wege nicht weglassen.