Based on my understanding, I ended up at the following grammar:
A -> bAa | λ
S -> aSb | A | λ
Is it sufficient to say the above language L = {a^m b^n a^n b^m | m, n >= 1} context free? If not, could you please explain why?
Based on my understanding, I ended up at the following grammar:
A -> bAa | λ
S -> aSb | A | λ
Is it sufficient to say the above language L = {a^m b^n a^n b^m | m, n >= 1} context free? If not, could you please explain why?