푸시 다운 오토메이션은 회문을 읽는 방법을 어떻게 알고 있습니까?

Question

예를 들어 PDA가 L = {a, b} *에서 회문을 읽는 방법을 알고 있습니까? 이상 회문을 받아

PDA {A, B} * :

이

는 그래서, PDA의 내 그림에 따라

:

이

이 어떻게 알고 않을 때 문자열의 첫 번째 절반 최종 문자 (알파벳 문자)에 있으므로 상태 0에서 상태 1로 이동한다는 것을 알고 있습니다 (그리고 스택에서 뒤로 문자를 "팝"하는 것을 알고 따라서 회문을 만듭니다).

Answer 1

이것은 비 결정적 푸시 다운 오토 마톤입니다. 귀하의 질문에 대한 답변은 은이며 추측을 올바르게 추측 할 수 있습니다. 비 결정적 오토마타 허용되는 와트 이 와트 년대에 결과를 처리 할 수있는 함께있는 path가와트 문자열 에 동의합니다.

• 가이 상태 Q0
에 스택에 물건을두고 : 우리가 받아들이는 상태에서 빈 스택을 가진 것으로 승인을 정의하면 경우

후 뭔가 위의 NPDA에 의해 허용 될 수있는 유일한 방법입니다

• 결국
• 그것은 세 가지가 그쪽을 "추측"이 있습니다

1 분기, 뒤로 스택으로 푸시,하지만 읽기는 문자열의 두 번째 절반을 읽을 필요가 있음을 추측 NPDA를 만드는 T :

1. 그 문자열이 예는 람다 대신 사용한 전자 E/E, 추측 때 짝수 길이 회문이라고 추측.
2. 문자열이 ae/e를 추측 할 때 두 개의 반쪽 사이에 a가있는 홀수 길이의 회귀선이라고 추측합니다. 여기에서 e는 람다 대신에 사용됩니다.
3. 문자열이 홀수 길이의 회문 e가 λ 대신에 사용되는 경우, 두 반쪽 사이에 b가 있습니다.

위의 세 가지 추측은 가능한 중간 요소를 제외하고 문자열의 전반부를 추측합니다 , 이미 보았다.

이 추측은 궁극적으로 모든 회유 장에 적용되며 회상 이외에는 사실이 아니므로 NPDA는 PAL을 허용합니다.