{variables} A, B, C, D {start variable} A {productions} A -> 0A3 | B | C; B -> 1B3 | D; C -> 0C2 | D; D -> 1D2 | %