L = { w ∈ Σ* | w is a regular expression over a binary alphabet }
I came up with:
S -> S U S | SS | S* | (S) | 0 | 1 | ∅ | e