jane555

Анализировать переходы.
delta(q0,c,Z) = {(q0,cZ)} - состояние q0, на входе символ 'c', в стеке пусто. Остаёмся в q0, в стек кладём 'c'.
delta(q0,c,c) = {(q0,cc)} - состояние q0, на входе 'c', с вершины стека снят 'c'. Остаёмся в q0, в стек кладём 'c', 'c'.
И так далее.
lambda - это пустой символ λ.
Ну а язык, вроде, cⁿa²ⁿ⁺¹b^*