you are not given condition about n.... i assumed it as n>1 or n≽ 2..... because to start with 'a' which is n-1=1
for n=2 ====> a=1 ---- b=5
for n=3 ====> a=2 ---- b=7
for n=4 ====> a=3 ---- b=9
and so on....
here observe the logic:- b = 2*a +3 therefore first push 3 x's to the empty stack and push 2 x's for each occurrences of 'a' and pop 1 'x' for each 'b' ===> Finally stack is empty when all b's are processed.
note when first b occurred change the state.