PUERTA | PUERTA 2006 | Pregunta 29

Considere la gramática regular debajo
de S → bS | aA | ϵ
A → aS | bA
Las clases de equivalencia Myhill-Nerode para el lenguaje generado por la gramática son
(A) {w ∊ (a + b)* | #a(w) es par) y {w ∊ (a + b)* | #a(w) es impar}
(B) {w ∊ (a + b)* | #a(w) es par) y {w ∊ (a + b)* | #b(w) es impar}
(C) {w ∊ (a + b)* | #a(w) = #b(w) y {w ∊ (a + b)* | #a(w) ≠ #b(w)}
(D) {ϵ}, {wa | w ∊ (a + b)* y {wb | w ∊ (a + b)*}

Respuesta: (A)
Explicación: Cuestionario de esta pregunta Comente a continuación si encuentra algo incorrecto en la publicación anterior