E -> E '+' B
E -> B

B -> '0'
B -> '1'