E -> E '+' E E -> '0' E -> '1'