Autómatas finitos no deterministas | Sipser Ejemplo 1.16

9

Estoy trabajando en el Libro Sipser (2ª edición) y encontré este ejemplo, que no entiendo. En el libro dice que este NFA acepta la cadena vacía, ϵ .

¿Podría alguien explicarme por qué este es el caso?

Tengo entendido que ϵ se moverá a q3 que no es un estado de aceptación.

ingrese la descripción de la imagen aquí

Leopardo convexo
fuente
1
ϵ
Gracias por los enlaces completos, creo que ahora entiendo esto.
Convex Leopard

Respuestas:

10

ϵ

www

q0w1q1w2q2w3wnqn

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

ϵϵ

ϵ

q0ϵq1ϵϵqn
q0qnϵn=0

Yuval Filmus
fuente
ϵq1q1q1q3q1q1ϵ
1
Sí, esa es una buena descripción.
Yuval Filmus