プッシュダウンオートマトンが！

質問

プッシュダウンオートマトンの問題がわからないんですが、基本中の基本過ぎて参考書に載っていません（＞＜）
もしよかったら軽くヒントのようなものを出していただけないでしょうか？？

L={aのn+1乗bのn乗｜nZ|}
を受理するプッシュダウンオートマトンを書け

これはn+1の1ぶん補助テープがあまってしまうのでしょうか？？
なにがなんだかさっぱりです↓

回答No.1

Tacosan

a^(n+1) b^n = a a^n b^n.