3 votes 3 votes For A, B ⊆ Σ*, define A/B = {x ∈ Σ* | ∃y ∈ B, xy ∈ A} If L is a CFL and R is regular, then L/R is (A) Regular (B) CFL but not regular (C) Recursive but not CFL (D) None of the above Theory of Computation context-free-language theory-of-computation + – shivangi5 asked Oct 1, 2017 shivangi5 372 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
0 votes 0 votes B is correct CFL but not regular rajoramanoj answered Oct 1, 2017 rajoramanoj comment Share Follow See all 2 Comments See all 2 2 Comments reply shivangi5 commented Oct 1, 2017 reply Follow Share Could you please elaborate it I am not getting how to solve this? 0 votes 0 votes rajoramanoj commented Oct 1, 2017 reply Follow Share solve this would be a proof by contradiction in which we assume that A is context free, B is regular, and then assume that A/B is not context-free. Since A is context free, we can construct an equivalent PDA that accepts A 0 votes 0 votes Please log in or register to add a comment.