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

【问题标题】：What does this notation mean in a pushdown automaton?这个符号在下推自动机中意味着什么？
【发布时间】：2013-11-24 02:02:39
【问题描述】：

我的老师对 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}

谁能解释一下这个转换函数符号？

【问题讨论】：

【解决方案1】：

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

希望这会有所帮助！

【讨论】：