a) Neuer Startzustand ist (q01,q02). Von diesem Startzustand aus gehen Transitionen zu allen Zuständen, zu denen q01 oder q02 eine Transition hat. Dadurch bekommst du einen NFA. Potenzmengenkonstruktion liefert einen DFA.
c) Wähle Q1\F1 als neue Menge von akzeptierenden Zuständen. Je nach Definition der Übergangs"funktion" musst du vorher noch δ1 unter Hinzufügung eines neuen Zustandes zu Q1 so erweitern, dass es nicht nur eine partielle Funktion ist, sondern einen totale Funktion.
b) L(M1)∩L(M2) = ∁(∁L(M1) ∪ ∁L(M2)) und Teilaufgaben a) und c). Dabei sei ∁A := Σ*\A für jedes A⊆Σ*.
d) Σ* wird von einem DFA entschieden.
