Considere la siguiente gramática sobre el alfabeto {a,b,c} dado a continuación, S y T no son terminales.
G1: S-->aSb|T T--> cT|∈ G2: S-->bSa|T T--> cT|∈
El lenguaje L1(G1) ∩ L2(G2).
(A) Finito
(B) No finito pero regular
(C) Libre de contexto pero no regular
(D) Recursivo pero no libre de contexto
Respuesta: (B)
Explicación: El lenguaje generado por la gramática G1 es a n c*b n donde n>=0
El lenguaje generado por la gramática G2 es b n c*a n donde n>=0
La intersección de dos idiomas será c* (poniendo n=0 en ambos idiomas)
Sabemos que c* es un lenguaje regular e infinito, por lo que la opción b es correcta.
Solución alternativa
Esta solución es aportada por Sumouli Chaudhary.
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