I am stuck in solving this exercise and I donโt know where to start:
Language B - Context Free; C is a subset of B: is C Context Free? Prove or disprove.
I tried using closure properties:
C = B - ((A * - C) โฉ B) [A * - the set of all words in the alphabet A]
and given that CF languages โโare not closed when complementing and intersecting, I would say that C is not forced to be CF. But I'm not sure this is a good proof.
Can anyone help?
Justb source share