Math Pusdown自动机解释

我正在学习下推自动机，但并不真正理解它。我的老师给了我一个练习任务，但我想不出来。我需要做些什么

这是规则：

L={a^ib^jc^k | i，j，k≥ 0和i+j+1=k}。

如果你能帮助我，请写评论

---

谢谢

我理解规则，如果自动机得到2“a”和1“b”，那么c数等于4，对吗？