0 Daumen
55 Aufrufe

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.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community