푸시 다운 오토 마타

Question

언어에 대한 푸시 다운 오토 마톤을 디자인합니다. 위 언어에 대한 오토 마톤을 구현하도록 요청 받았 습니 다. 제발 도와주세요?

나는 내가 (a)는 스택에에 있지만, (a)는이야의 홀수와 함께 작동하지 않을 것 같습니다 ....

Answer 1

당신은을 처리해야 밀어 2 (C)의 때마다 터지는 시도 a는 정상적인 방법입니다. 예를 들어, 스택 A의 테이프를 읽는 동안, 스택 A의 읽기가 끝날 때까지, 스택의 최상위를 그대로두고 모든 C의 처리를 마칩니다. 천이 함수이다 :

는

(q0, a, Z) = (q0, AZ) 
(q0, a, A) = (q0, AA) 
(q0, b, A) = (q1, A) 
(q1, c, A) = (q1, epsilon) (until the amount of a's are equal to the amount of c's) 
(q1, c, Z)= (q2, Z) (read the first extra c) 
(q2, c, Z)= (q3, Z) (read the second extra c) 
(q3, epsilon, Z)= (qf, Z) (qf is the final state) 

PDA의 그래픽 표현은 :^N의 C^N에 대한 푸시 다운 오토 마톤과