Nicht deterministische endliche Automaten Sipser Beispiel 1.16

9

Ich arbeite mich durch das Sipser-Buch (2. Auflage) und bin auf dieses Beispiel gestoßen, das ich nicht verstehe. In dem Buch heißt es, dass diese NFA die leere Zeichenfolge ϵ akzeptiert .

Könnte mich jemand durchgehen lassen, warum dies der Fall ist?

Mein Verständnis ist, dass ϵ zu übergeht,q3 was kein Akzeptanzzustand ist.

Geben Sie hier die Bildbeschreibung ein

Konvexer Leopard
quelle
1
ϵ
Vielen Dank für die umfassenden Links - ich glaube, ich verstehe das jetzt.
Konvexer Leopard

Antworten:

10

ϵ

www

q0w1q1w2q2w3wnqn

  1. q0
  2. qn
  3. qi1wiqi
  4. w=w1wn

ϵϵ

ϵ

q0ϵq1ϵϵqn
q0qnϵn=0

Yuval Filmus
quelle
ϵq1q1q1q3q1q1ϵ
1
Ja, das ist eine schöne Beschreibung.
Yuval Filmus