Compiler construction 这个符号在下推自动机中是什么意思？

我的老师对PDA使用了奇怪的格式，有人能给我解释一下这个符号吗

过渡函数如下所示：

[q，a，λ，s，B]

[s，a，λ，s，λ]

[s，b，b，s，λ]

---

有人能解释这种转换函数表示法吗？

PDA的转换函数通常是转换关系而不是函数。每五个元组（a、b、c、d、e）表示“如果处于状态a并使用栈顶c、pop c读取符号b，则转到状态d，然后按下e。”

希望这有帮助

Q={q,s} and inputs {a,b} stack {B}, final state F={s} M={Q, E, stack, transition function, q,F}