Can we show that following language is not context free using Push down automata approach?
L = {a^i b^i a^i : i>=1}
For every a we will Push 'A' onto stack, for every b we will pop 'A' out of stack so at the end we will have a's onto stack and the input word would be empty as string would be something like aabbaa
Does it seem correct?