Der Automat wäre immer noch ndet, da nicht in jeden Zustand und Eingabe (E={0,1}) ein Folgezustand definiert ist. Im Zustand s0 müsste zusätzlich zu deinen oben aufgeführten Änderungen noch ein Folgezustand für die Eingabe 1 definiert werden.
Der Unterschied ist, dass bei einem det Automaten für jeden Zustand pro Eingabe genau ein Folgezustand definiert ist, bei den ndet kann es keiner oder mehrere sein.
Max (Tutor)