retagged by
385 views

1 Answer

Best answer
7 votes
7 votes
We can reduce this to

$$L = \{0^n1^n0^m \mid n\geq 0, m \leq n\}.$$

We cannot make a PDA for this as we need to do 2 indefinite counts. But we can do this with an LBA and so $L$ is CSL. Answer should be B choice.
selected by

Related questions

3 votes
3 votes
2 answers
3
2 votes
2 votes
0 answers
4