compiler-construction - 这个符号在下推自动机中意味着什么？

Question

我的老师对 PDA 使用了奇怪的格式，有人可以向我解释这个符号吗

转换函数如下：

[q,a,λ, s,B]

[s,a,λ,s,λ]

[s,b,B,s,λ]

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

任何人都可以解释这个转换函数符号吗？

Answer 1

PDA 的转移函数通常是转移关系而不是函数。每个五元组 (a, b, c, d, e) 表示“如果处于状态 a 并且读取符号 b 且堆栈顶部为 c，则弹出 c，进入状态 d，然后压入 e”。

希望这可以帮助！