Übungen zum Akzeptor mit ab- bzw. 01-Sprachen

A) Entwickeln Sie im Simulationsprogramm FLACI/AutoEdit je einen Akzeptor mit dem Eingabealphabet X = {a, b} für die Sprache L.

1. L(A₁) = {abba},
2. L(A₂) = {aⁿ | n ≥ 0},
3. L(A₃) = {aⁿb | n > 0}
4. L(A₄) = {w | w ∈ X*, w enthält eine gerade Anzahl von a},
5. L(A₅) = X* \ {abba}.

B) Entwickeln Sie im Simulationsprogramm FLACI/AutoEdit je einen Akzeptor für die Sprache L.

1. L(A₆) = {w | w ∈ {a}*, die Anzahl von a in w ist durch drei oder vier teilbar}.
2. L(A₇) = {a(ba)ⁿc^m| n > 0, m ≥ 0}

C) Gegeben ist der folgende Graph eines Akzeptors. Entwickeln Sie einen äquivalenten Automaten, der mit einer kleineren Anzahl von Zuständen auskommt.