I think so, because the EBNF for D was A[{B} | {C}] but if you wanted to get ABBBBBB you couldn't, because if you wanted to get more than one B you would have to go past A again, therefore you'd get ABABAB.
What did you guys do for the Half-Adder questions. I just wrote "carry in" as an input...