Ziel dieser Aufgabe ist die systematische Konstruktion eines korrekten, minimalen DFAs für die Sprache
L = {w ∈ {a, b, c}∗| w enthält mindestens ein c und #a(w) ist gerade}.
Bearbeiten Sie dazu die folgenden Teilaufgaben.
Geben Sie einen minimalen DFA A an, so dass L(A) = L gilt. Begründen Sie sowohl, dass A die
Sprache L entscheidet, als auch, dass A minimal ist.
Hinweis Die Nerode-Relation ∼L hat genau vier Äquivalenzklassen. Sie können diesen Fakt in dieser Aufgabe ohne Begründung benutzen.