전환 기능 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의 전환 기능은 종종 기능이 아닌 관계입니다. 각 5- 튜플 (a, b, c, d, e)은 "상태가 a이고 스택 탑 C가있는 기호 b를 읽으면 팝 c, 상태 d로 이동 한 다음 e를 누릅니다"를 의미합니다.

희망이 도움이됩니다.