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