Wäre bei b) auch folgendes korrekt?
S -> (A) | B,
A -> (A) | lambda | B,
B -> ()B | lambda | A
schließlich steht ja nicht dabei, was für eine Grammatik es sein muss.
Wie kannst du (())() darstellen?
S->(A)->((A))-> und jetzt geht es meiner Meinung nach nicht weiter. Somit denke ich, dass deine Lösung falsch ist.
Ebenfalls würde ich schauen, dass es ich nicht kompliziert mache wenn es auch einfach geht.