Need to give a CFG for this language?

Question

I have the language:

$$ L = \{0^m1^n \mid 0 ≤ m ≤ n\text{ or }0 ≤ n ≤ 2m\}. $$

My goal is to give an equivalent context-free grammar for this language, but I am unsure if I am going about it the right way. So far this is what I've come up with:

$$ \begin{align*} &S \to A \mid X \\ &A \to 0A1 \mid A1 \mid \varepsilon \\ &X \to 00A1 \mid 00A \mid \varepsilon \end{align*} $$ Is this anywhere close?

Is this supposed to be the same language as here? – Raphael Mar 10 '16 at 15:08 — Raphael, Mar 10 '16 at 15:08
See http://cs.stackexchange.com/q/18524/755 – D.W. Mar 10 '16 at 19:27 — D.W., Mar 10 '16 at 19:27
@bobafro Are you sure it is OR in the language and not AND? – Sarvottamananda Mar 11 '16 at 02:27 — Sarvottamananda, Mar 11 '16 at 02:27
It is supposed to be or, yes. – bob afro Mar 11 '16 at 02:58 — bob afro, Mar 11 '16 at 02:58

Sarvottamananda · Accepted Answer · 2016-04-29T13:45:14.907

0

Yes it is pretty close but a little far, correct solution will be (if you go about writing grammar methodically)

Otherwise, if you go by logic, condition $0 \leq m \leq n$ OR $0 \leq n \leq 2m$ is true for every non-negative integer pair $m$ and $n$ (because $m \leq n$ OR $n \leq m$ translates to $m \leq n$ OR $n \leq m \leq 2m$, which is always true). Hence your language is really $\{0^m1^n\ |\ m\geq 0, n\geq 0\}$ and the grammar is:

$S \rightarrow 0S \ | \ S1 \ | \ \epsilon$

edited Apr 29 '16 at 13:45

answered Mar 10 '16 at 07:11

Sarvottamananda

4,817
1
13
19

Your grammar generates ${0^m 1^n \mid m \leq n \leq 2m}$. This is not quite what the OP is after (you have AND whereas OP has OR). – Yuval Filmus Mar 10 '16 at 11:58
Sorry, for the silly mistake, I did not correctly see the problem. – Sarvottamananda Mar 10 '16 at 12:49
1

I am surprised, who gave this answer -1, without asking for an explanation, or without telling what is wrong in this answer. – Sarvottamananda Apr 29 '16 at 14:07
@Shreesh. You'll just make your self crazy worrying about such things. Accept the fact that you'll occasionally get random unexplained downvotes. I'll counter the downvote as a favor. – Rick Decker Apr 29 '16 at 18:38
@RickDecker, Thank you, I was just surprised who thought that such an obvious answer is wrong. – Sarvottamananda Apr 30 '16 at 12:18

Need to give a CFG for this language?

1 Answers1