Ist dieser nichtdeterministische Automat für das Problem in b) korrekt?
A = ({0,1}, {s0,s1,s2}, delta, s0, {s2})
mit delta:
|
0 |
1 |
{s0} |
{s0,s1} |
{s0} |
{s1} |
{s1,s2} |
{s0} |
{s2} |
{s2} |
{s0} |
Die Überführung mit Potenzmengenkonstruktion in einen deterministischen EA A2, wie in der Aufgabenstellung verlangt, ist leider dann aber nicht richtig, es kommt ein Zustand zu wenig heraus. Habe ich einen Fehler gemacht?