วิธีที่จะสร้างเป็น pushdown automata สำหรับ L={w∈{เป็บี}*|ยังไม่เท่ากับ xx^F สำหรับบาง x∈{เป็บี}*}
0
ฉันคิดว่าคุณต้องการที่มองไม่ deterministic นดัง automaton. ฉันไม่คิดว่านี่คือสิ่งที่ทำได้กับ deterministic PDA.
มันฟังดูเหมือนเป็นการบ้านปัญหางั้นฉันจะให้เป็นนายพลบเส้นขอบ:
คุณจึงจำเป็นเดาว่าอยู่ที่ไหนศูนย์กลางของข้อความ. คุณผลักส่วนประกอบไปที่งานจนกระทั่งในบางประเด็นคุณว่าคุณกำลังต่อสายถึงศูนย์กลางของข้อความ คุณก็เริ่มเปรียบเทียบข้อมูลของคุณเพื่อส่วนประกอบที่คุณกำงการความช่วยเหลือจากออกจากงาน. คุณล้มเหลวถ้าพวกเขาไม่ตรงกัน คุณทำสำเร็จถ้านายไปถึงจุดจบของนำเข้าข้อมูลตามที่คนสแต็กว่างเปล่า