PUERTA | Maqueta de puerta 2017 | Pregunta 52

Considere 2 escenarios:

C1: For DFA (ϕ, Ʃ, δ, qo, F),
         if F = ϕ, then L = Ʃ*
C2: For NFA (ϕ, Ʃ, δ, qo, F),
         if F = ϕ, then L = Ʃ*
Where F = Final states set
ϕ = Total states set

Elegir la opción correcta ?

(A) Ambas son verdaderas
(B) Ambas son falsas

(C) C1 es verdadero, C2 es falso
(D) C1 es falso, C2 es verdadero

Respuesta: (C)
Explicación:

En el caso de un NFA, incluso si F = ϕ, puede haber algunos estados en los que no tengamos transiciones definidas para un símbolo en particular, es decir, rechazos de estado muerto en NFA. Por lo cual, L ≠ Ʃ*.

Cuestionario de esta pregunta