grammar

[codetojoy]

does this context free grammar produce the correct result

S--> aSb|A|B
A--> aA|a
B--> bB|bb

this is need a^n,b^m, n = m – 1. where do I place λ(lambda termination)