过渡功能PDA

Question

我的老师使用奇怪的PDA格式，任何人都可以向我解释这个符号

转换函数如下：

[q,a,lamda, s,B]
[s,a,lamda,s,lamda]
[s,b,B,s,lamda]

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。”

希望这有帮助！