CGU-NET | UGC NET CS 2015 junio – III | Pregunta 63

Dadas las siguientes gramáticas:
G ₁ : S → AB|aaB
A → aA | ∈
segundo → segundo | ∈
G ₂ : S → A|B
A → aAb | ab
B → ab B | ∈
¿Cuál de las siguientes es correcta?
(A) G ₁ es gramáticas ambiguas y G ₂ son gramáticas inequívocas
(B) G ₁ es gramáticas inequívocas y G ₂ son gramáticas ambiguas
(C) tanto G ₁ como G ₂ son gramáticas ambiguas
(D) tanto G ₁ como G ₂ son gramáticas inequívocas

Respuesta: (C)
Explicación:G ₁ : S → AB|aaB
A → aA | ∈
segundo → segundo | ∈
Generemos
aab
S → aaB S → aabB S → aab
. de una manera
S → AB
S → aAB
S → aaAB
S → aaB
S → aabB S → aab de
otra manera.
G ₁ es ambiguo porque podemos generar la misma string de dos formas diferentes.
G ₂ : S → A|B
A → aAb | ab
B → ab B | ∈
Generemos ab.
S → A
A → aAb
A → ab. De una sola mano.
S → B
B → abB
B → ab. de otra manera.
G ₂ es ambiguo porque podemos generar la misma string de dos formas diferentes.
Entonces, la opción (C) es correcta.

Cuestionario de esta pregunta