CGU-NET | UGC-NET CS 2017 noviembre – III | Pregunta 63

Considere los siguientes idiomas:

L ₁ = {un ^metro segundo norte │ metro ≠ norte} ^L
2 ₌ {un ^metro segundo norte │ metro = 2n+1} ^L
3 ₌ {un ^{metro segundo metro} │ metro ≠ 2n}

¿Cuál de las siguientes afirmaciones es correcta?

(A) Solo L ₁ y L ₂ son lenguajes libres de contexto
(B) Solo L ₁ y L ₃ son lenguajes libres de contexto
(C) Solo L ₂ y L ₃ son lenguajes libres de contexto
(D) L ₁ , L ₂ y L ₃ son lenguajes libres de contexto

Respuesta: (D)
Explicación:

1. En L ₁ tenemos que comprobar que m no es igual a n. hay infinitos no que entran en esta categoría, pero solo tenemos una comparación con m y n. Por lo tanto, es un lenguaje libre de contexto.
2. En L ₂ una comparación con infinitas posibilidades de m y n, es también una LFC
3. En L ₃ una comparación con infinitas posibilidades de m y n, también es una LFC

Entonces, la opción (D) es correcta.
Cuestionario de esta pregunta