Answer to Question #38637 in Math for Sujata Roy

Question

The intersection of two cfls can simulate a turing machine computation. We are given two cfls L1 and L2 and define the language L as below
a) L=(00)* if the intersection of L1 and L2 is empty
b) L=((0(00)*)(0(00)*))* if L1 is regular
c) L=(00+0000+000000)* if L2 is not regular
d) L=(00)*+(0000)* if the complement of L1 is a cfl
a) L is a finite set
b) L is a regular set
c) L is undecidable
d) L is recursive but not context-free