Prove $\{0,1\}^* -\{0^i 1^i\mid i \ge 0\}$ is context free? Is the only way to prove that this language is context-free to construct a Context-Free Grammar that accepts it?
If so any hints on how to get started?

What do you think about the following? Does it work?
$$S\to M1X$$
$$S\to X0M$$
$$M\to 0M1$$
$$M\to \Lambda$$
$$X\to 1X$$
$$X\to 0X$$
$$X\to \Lambda$$
