ชุดไม่มีบริบทแน่นอน แต่ฉันคิดว่ามันอาจคลุมเครือโดยเนื้อแท้: ลองพิจารณา
L = { a m b m c n d ∣ m , n ≥ 0 } ∪ { d a m b n c n ∣ m , n ≥ 0 }p p c ( L )แล้วพีพีค ( L )รวมถึงคลาสสิกภาษาคลุมเครือโดยเนื้อแท้ L ' = { มขม. คn | ม. , n ≥ 0 } ∪ { มขn คn | ม. , n ≥ 0 }
L = { aม.ขม.คnd∣ m , n ≥ 0 } ∪ { daม.ขnคn∣ m , n ≥ 0 },
p p c ( L )และหนึ่งสามารถพิสูจน์
พีพีค ( L )นอกจากนี้ยังเป็นเนื้อแท้ที่ไม่ชัดเจนโดยอาร์กิวเมนต์ปกติ (ใช้อ็อกเดนแทรกทั้ง
n + n !ขn คnและ
n ขn คn + n !จะอนุมานการดำรงอยู่ของทั้งสอง ต้นไม้ที่แตกต่างกันสำหรับ
n + n !ขn + n !คn + n ! )
L'= { aม.ขม.คn∣ m , n ≥ 0 } ∪ { aม.ขnคn∣ m , n ≥ 0 },
p p c ( L )an + n !ขnคnanขnคn + n !an + n !ขn + n !คn + n !