Moin, ich hab nicht alles bis ins letzte Detail überprüft aber die Lösung sieht für mich richtig aus. Das einzige das aufgefallen ist, dass der Zustand {} keine ausgehenden Kanten hat. Wenn es bei euch nicht anders definiert ist, ist die Übergangsfunktion von DEAs immer total. Das heißt von jedem Zustand gibt es für jedes Alphabetsymbol eine ausgehende Kante. In deinem Beispiel bedeutet das, im Zustand {} bleibt man mit a,b oder c jeweils im selben Zustand. Da fehlen also noch die reflexiven Kanten.

Eine Bemerkung noch am Rande. Zustände, die keine Startzustände sind und auch keine eingehenden Kanten haben, sind nicht erreichbar. Das heißt diese können weggelassen werden. In diesem Fall also die Zustände {q}, {r}, {qr}, {pr}.

Viele Grüße Eric