轉移函數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。」

希望這會有所幫助！