La función de transición para el lenguaje L = {w|n a (w) y n b (w) son ambas impares} viene dada por:
δ (q 0 , a) = q 1 ; δ (q 0 , b) = q 2
δ (q 1 , a) = q 0 ; δ (q 1 , b) = q 3
δ (q 2 , a) = q 3 ; δ (q 2 , b) = q 0
δ (q 3 , a) = q 2 ; δ (q 3 , b) = q 1
Los estados inicial y final de los autómatas son:
(A) q 0 y q 0respectivamente
(B) q 0 y q 1 respectivamente
(C) q 0 y q 2 respectivamente
(D) q 0 y q 3 respectivamente
Respuesta: (D)
Explicación: Diagrama de transición para L = {w|n a (w) y n b (w) son ambos impares}: 
q 3 satisface la condición – {w|n a (w) y n b (w) son ambos impares}, por lo que q 3 es el estado final y todas las strings comienzan desde q 0 entonces q 0 es estado final.
Entonces, la opción (D) es correcta.
Cuestionario de esta pregunta
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA