0

I am trying to find a proof of A ∩ B where A is a CSL and B is a CFL. Also I know that CFL is a strict subset of CSL. Does that mean that their intersection will give CFL. I am stuck

glitch_123
  • 5
  • 2
  • Welcome to the site! Hint: If $B\subseteq A$, you can tell what $A\cap B$ is, right? – Rick Decker Mar 02 '22 at 15:53
  • @RickDecker That's what I understood first, but I think OP wanted to say that the set of CFL is a strict subset of the set of CSL (and not that $B\subset A$). – Nathaniel Mar 02 '22 at 16:08

1 Answers1

1

In the general case, the intersection between a context-sensitive language and a context-free language is context-sensitive.

See this post for details.

Nathaniel
  • 15,071
  • 2
  • 27
  • 52