Should that grammar be:

    Expr = "A" | "(" Expr* ")" | ""

so that (()) is s a valid match? Because then Expr can be an empty string also?