를 구성하는 방법 pushdown 오토마타에 대한 L={w∈{a,b}*|w 지 않는 동등한 xx^R 일부 x∈{a,b}*}?

나는 가정을 원하는 비결정적 푸시로 기계적으. 나는 생각하지 않는 이 행할 수 있으로 결정적 PDA.

이 같은 소리 숙제 문제,그래서 나는 것을 일반적인 개요를 설명:

당신은 기본적으로 위치를 추측 센터의 문자열입니다. 당신은 밀어 요소에 스택 할 때까지,어떤 지점에서 추측에 도달했는지 센터의 문자열입니다. 당신은 그 시작을 비교하는 입력해 요소는 당신이 터지는 떨어져 스택입니다. 당신이 실패하는 경우 그들은 매치하지 않습니다. 당신이 성공하는 경우에 당신의 끝에 도달하고 정확하게 입력하는 스택은 비어 있습니다.