> Yes, they just happen to look identical: but that's the crux: How it
"looks" is the *only* thing that parser/grammar are concerned with.

> If it worked like this:
> <Array Decl> ::= <Type> '[' <Ident> ']' <Ident> ';'
> <Assoc Array Decl> ::= <Type> '[' <Ident> ']' <Ident> ';'
> ...*Then* it would no longer be context-free because the parser
would have to rely on the semantics of 'U' to determine how to parse it.

Ahh that makes sense. Thank you for the great explanation! :)