A -> Aa | bA | c | Ad