2016-12-01 10 views
1

PDA를 DFA로 변환하려고합니다. PDA의 스택에는 절대로 n 개 이상의 기호가 포함되지 않습니다.PDA를 DFA로 변환

도움이 될 것입니다.

내가 더 완벽한 솔루션 그러나 단지 생각이 없다

답변

0

감사 : 심볼 스택에 당신이 다음 팝 전환에 서브 그래프를 복사해야 되겠습니다 각 전환하십시오. 새 하위 그래프는 에 대해 PDA의 해당 하위 그래프와 동일한 하위 문자열을 허용해야합니다. 이러한 전환을 검색 할 때는 내부 그래프에서 내부 푸시 및 팝이 표시되지 않도록 내부 밖으로 나가야합니다. 따라서 첫 번째 치환은 두 개의 변환으로 구성되며 그 이상의 하위 그래프는 더 커지고 커집니다.