이해 푸시 다운 오토마타

Question

나는 PDA 그래프의 화살표를 이해하지 ...

내가 괄호 모든 문자열을 허용하는 PDA는 ((((()))))처럼 중첩 한 (()), ((())) 등이이 개 상태가 어디에 첫 번째 상태에는 루프가있는 화살표가 있으며이 동작의 의미는 (,ε/(입니다.

스택의 맨 위에 ε이있는 경우이 설명은 ( 기호를 수락하고,있는 경우 ε은 (으로 바뀝니다. 스택이 처음이처럼 보였다 그래서 경우

는 :
ε

지금은 다음과 같습니다
(ε

어떻게이 루프 화살표도 모든 ( 기호를 받아들이 유지되도록 할 수 있습니다 ε이 더 이상 스택 맨 위에 있지 않으면?

Answer 1

당신이 말한 그 상태에 대한 또 다른 행동을해야합니다 :. ((-이 전환) (다른 상태로 auxillary 상태를해야 (> 을 을 보조 상태 유일의 전환이 ε 될 것이라고, ε-> (당신이 볼 때

원래의 상태에서

당신은) 스택에서 (팝업 를 필요), (-> ε 여기

B의 (문제 수보다 더 많은의를 포함 광산의 비슷한 예입니다 1)