PDA를 CFG로 변환

Question

PDA를 CFG로 변환하는이 예를 이해하려고하지만 아이디어를 틀리게하지는 않습니다. 나는 $ p, q \ \ epsilon \ q $ 및 $ x \ varepsilon \ ream의 일반적인 이해를 가지고 있습니다. \ gamma $ $ [pxq] $ 우리는 x 을 팝업하는 파생 시퀀스를 포함합니다 스택에서.

나는 무엇을 계속 이해하고 있는지를 부분적으로 이해하지만, 나는 그것을 이해할 수 있도록 프로젝트를 형성하기 위해 작품을 어떻게 풀 수 있습니까? 예를 들어 예제에서 프로덕션 (5)을 가져 가십시오. 내가 이해하는 것에서 우리는 주에있다. 우리는 팝업을하고 싶다. 그리고 결국 우리는 빈 스택이있는 상태 P에 있어야한다. 우리가 읽는 동안 0 우리는 $ [PAQ] [QAP] $ 이고, 이것은 제가있는 것입니다. 우리가 PDA를 보면 읽는 것이 Q> 읽기에가는 방법이 없기 때문에 이해가 아닙니다. 실제로 무슨 일이 일어나고 있는지 알고 싶습니다.

관련 질문은 여기 그러나 나는 혼란을 지우는 방법을 이해할 수 없습니다.

Answer 1

기본적인 직감이 있습니다. 변수 $ [p, a, q] $ 은 State $ P $의 계산 세트를 나타냅니다. $ q $ $ a $ 을 스택에서 팝업합니다.

>>

기술적 인 문법 $ g $ 및 pda $ m $ 은 맨 위에 주어집니다 슬라이드가 표시됩니다.

그런 다음 구성은 재귀를 따릅니다. PDA가 $ a $ 이지만 $ b_1b_2b3 $ $ b_1b_2b3 $ 을 눌러 $ a $ $ p $ 및 $ q $ < / span> $ [q_1, b_1, q_2] [q_2, b_1, q_3] [q_3, b_1, q] $ 으로 $ Q_2, Q_3 $ 은 알 수 없으며 문법에 의해 입니다. $ Q_1 $ 은 PDA 명령이 이동하는 상태이므로

>>

귀하의 관찰이 옳습니다. 이 표준 구조는 $ [P, A, Q] $ 을 소개 할 수 있습니다. 귀하의 예에서 $ Q $ 에서 $ P $ 으로 계산이 없을 것입니다 $ [q, a, p] $ 은 성공적인 파생에서 사용되지 않습니다. 그것은 probramatic이 아닙니다. 이 건설은 모든 가능성을 생산하며, 쓸모없는 변수는 실제로 원하는 경우 이후에 제거 될 수 있습니다.

메모. 다른 질문을 사용하기 위해 링크하는 다른 질문은 다른 Sipser Style Automaton 모델을 사용합니다! 스택 기호는 동시에 팝핑하지 않고 하나씩 누릅니다. 혼란에 추가하려면 해당 질문에 주어진 답변 가 슬라이드에서 건설과 완벽하게 일치합니다!