ฉันจำคำถามต่อไปนี้เกี่ยวกับภาษาที่คาดคะเนได้ว่าเป็นบริบท แต่ฉันไม่สามารถหาหลักฐานของความจริงได้ ฉันอาจนำคำถามนี้ไปใช้ผิดครั้งหรือไม่?
อย่างไรก็ตามนี่คือคำถาม:
แสดงว่าภาษาไม่มีบริบท
ฉันจำคำถามต่อไปนี้เกี่ยวกับภาษาที่คาดคะเนได้ว่าเป็นบริบท แต่ฉันไม่สามารถหาหลักฐานของความจริงได้ ฉันอาจนำคำถามนี้ไปใช้ผิดครั้งหรือไม่?
อย่างไรก็ตามนี่คือคำถาม:
แสดงว่าภาษาไม่มีบริบท
คำตอบ:
การอ้างสิทธิ์ :ไม่มีบริบท
หลักฐานพิสูจน์ : จะต้องมีอย่างน้อยหนึ่งข้อแตกต่างระหว่างครึ่งแรกและครึ่งหลัง; เราให้ไวยกรณ์ที่ทำให้แน่ใจว่าจะสร้างและออกจากส่วนที่เหลือโดยพลการ
หลักฐาน : เพื่อประโยชน์ของความเรียบง่ายสมมติตัวอักษรไบนารี\} หลักฐานพร้อมขยายไปยังขนาดอื่น ๆ พิจารณาไวยากรณ์ :
มันค่อนข้างชัดเจนว่ามันสร้าง
สงสัยอาจดำเนินการเหนี่ยวนำที่ซ้อนกันมากกว่าและกับกรณีที่แตกต่างกว่าคู่y) ตอนนี้การเดินทางและ (การพูดอย่างสังหรณ์ใจและสามารถแลกเปลี่ยนสัญลักษณ์ได้เนื่องจากทั้งคู่มีสัญลักษณ์ที่เลือกแยกจากส่วนที่เหลือของคำ) ดังนั้นและมีตำแหน่งเดียวกัน (ในครึ่งของพวกเขา) ซึ่งหมายถึงเพราะกำหนดข้อ จำกัด อื่น ๆ ในภาษาของมัน
ผู้อ่านที่สนใจอาจสนุกกับปัญหาการติดตามสองปัญหา:
แบบฝึกหัดที่ 1 : หา PDA สำหรับ !
แบบฝึกหัดที่ 2 : ?