Sea L = L1∩L2, donde L1 y L2 son idiomas como se define a continuación:
L1 = {
| m, n >= 0 }
L2 = {
| i, j, k >= 0 }
Entonces L es
(A) No recursivo
(B) Regular
(C) Libre de contexto pero no regular
(D) Enumerable recursivamente pero no libre de contexto.
Respuesta: (C)
Explicación: El lenguaje L1 acepta strings {c, abc, abcab, aabbcab, aabbcaabb,…} y L2 acepta strings {a, b, c, ab, abc, aabc, aabbc,…}. La intersección de estos dos idiomas es 
libre de contexto, pero no regular.
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