- Suppose $G_{1}$ is CFG
and $G_{2}$ is the regular grammar. So, we can say it is also a CFG.
Now,
$L(G1) \cap L(G2)= \phi$
We know for CFG it will be undecidable. Hence , here too, we can say it will be undecidable
2. Same as above.
$L1\subseteq L(G)$ also undecidable for CFG
3. When $G_{1}$ is regular
- $G_{2}$ is Recursive Enumerable $L(G1)=L(G2)$ will be undecidable
- $G_{2}$ is CFG $L(G1)=L(G2)$ will be undecidable
- $G_{2}$ is Regular $L(G1)=L(G2)$ will be decidable
https://gatecse.in/grammar-decidable-and-undecidable-problems/