Der letzte Zustand des DEA war C, und das ist ja eigentlich ein Endzustand. Trotzdem akzeptiert der Automat nicht. Als Bedingung für die Annahme eines Wortes haben wir Endzustand und leere Eingabe gefordert. In unserem Fall sind wir, wenn die Eingabe leer ist, allerdings im “ungültigen” Zustand “DEA steht” und nicht mehr im Zustand C.

Wenn euch das komisch vorkommt, ergänzt den Automaten einfach um einen Zustand E (wie Error) und malt Pfeile von allen Zuständen zu diesem E, die mit allen Elementen von Σ, die nicht auf anderen Übergängen von den jeweiligen Zuständen weg sitzen. E selbst hat nur einen Übergang, nämlich auf E selbst, der für alle Elemente von Σ genommen wird; E ist natürlich kein Endzustand. Der resultierende Automat bleibt nie stehen, solange noch etwas in der Eingabe ist, verhält sich aber bezüglich Akzeptanz exakt wie unsere Automaten ohne Pannensicherung.