Frage zu einer Lösung zu einem Nicht endlichen Automaten

[Gast]

Hallo,
ich habe eine Frage zu einer Musterlösung:

"Geben Sie einen NEAM über {0} an, der alle Folgen von Nullen erkennt, deren Länge durch 4 oder durch 5 teilbar ist."

Lösung:

M = ({q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10},{0}, [e]delta[/e];, {q0}, {q4, q10}) mit

[e]delta[/e]:  q0		q1	q2	q3	q4	q5	q6	q7	q8	q9	q10
0   q1, q5	q2	q3	q4	q1	q6	q7	q8	q9	q10	q5

Ich habe mal den Graphen aufgemalt und mir scheint das die falsche Lösung zu sein. Der Automat akzeptiert nur Wörter dessen Längen durch 4 oder 6 teilbar sind.

Liege ich damit richtig?

L. G.
Steffo

[Gast]

Meinst Du einen Nichtdeterministischen endlichen Automaten?

Btw. ich bin mir ziemlich sicher, dass Du eine Antwort bekommst, wenn Du ein Bild irgendwo hochlädst. Die meisten dürften wohl einfach zu faul sein, das Ding jetzt aufzuzeichnen.

[Gast]

Das einzuscannen ist mir jetzt zu aufwändig. Ich denke, die Musterlösung ist tatsächlich falsch.
Erledigt.