retagged by
306 views

1 Answer

0 votes
0 votes

yeah it is decidable because L(G1)intersectionL(G2) regular intersection [L(G1) context free (in worst case CFL it may be regular language also) and L(G2) is regular language]

and regular intersection is closed under that language so L(G1)INTERSECTIONL(G2) is CFL and CFL is decidable emptiness so it is DECIDABLE

 

Related questions

0 votes
0 votes
1 answer
1
0 votes
0 votes
1 answer
3