Ein Automat hat die Komponenten S = {zo , z1 , z 2 , z 3 }, Σ = {a, b}, S0 = {z0},
F = {z1 , z3 } und folgende Überführungsfunktion.
| δ |
a |
b |
| z0 |
{z1} |
{z2} |
| z1 |
{z1} |
{z1} |
| z2 |
{z2,z3} |
{z2} |
- Zeichnen Sie die graphische Darstellung des Automaten.
- Begründen Sie, warum der Automat nicht deterministisch ist.
- Welche Sprache wird von diesem NEA akzeptiert?
- Bestimmen Sie den deterministischen Automat, der die gleiche Sprache akzeptiert mit Hilfe der Teilmengen-Konstruktion.
Die Lösung ist als PDF-Datei hochzuladen.