Prove the following grammar is ambiguous:

-> =

-> A | B | C

-> +

| *

| ()

|

Convert the following grammar specification to BNF:

-> { b }

-> a[b]