heute in der Sprechstunde kam die Definition auf, dass in einem DFA es zwangsläufig von jedem Zustand eine Transition mit jedem Buchstaben des Alphabets geben muss.
Das würde bedeuten, dass für
der DFA NICHT
Sondern
ist.
Ja, auch der Zustand 2 bräuchte einen b Übergang. Wenn man also einen NFA in einen DFA umwandelt, entsteht häufig eine Art "Müll Zustand" (bei dir der ??? Zustand). In diesen Müll Zustand gehen quasi die "nicht existenten NFA Übergänge". Der Müll Zustand selbst hat dann nur eine Transition auf sich selbst, die alle Buchstaben des Alphabets umfasst.