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, was kein Akzeptanzzustand ist.
regular-languages
finite-automata
nondeterminism
Konvexer Leopard
quelle
quelle
Antworten:
quelle