I need a Context Free Grammar for this language. I could come up with this solution:
S -> AB A -> aA | ε B -> bbbB | ε
But, this grammar is clearly wrong, since the number of a's can still exceed the number of b's. How do I draw a link between the two variables A and B such that $n\leq m+3$?
P.S. It is a humble request to anyone who downvotes this question to please specify the reason in the comments below