การปิดภาษาที่ไม่มีบริบทที่ชัดเจนภายใต้คำนำหน้าและหลัง

ให้เป็นภาษาที่ไม่มีบริบท กำหนดให้เป็นการปิดก่อนและหลังของในคำอื่น ๆมีคำนำหน้าและคำนำหน้าของทั้งหมดและด้วยเหตุนี้เอง คำถามของฉัน: ถ้าปราศจากบริบทและมีไวยากรณ์ที่ไม่คลุมเครือจะเป็นจริงสำหรับหรือไม่ $L$ $ppc(L)$ $L$ $ppc(L)$ $L$ $L$ $L$ $ppc(L)$

ฉันเชื่อว่าคำถามพื้นฐานแบบนี้จะได้รับการแก้ไขแล้วในสมัยรุ่งเรืองของทฤษฎีภาษา แต่ฉันไม่สามารถหาข้อมูลอ้างอิงที่เหมาะสมได้

— Martin Berger
แหล่งที่มา

ชุดไม่มีบริบทแน่นอน แต่ฉันคิดว่ามันอาจคลุมเครือโดยเนื้อแท้: ลองพิจารณา $\mathit{ppc}(L)$ แล้วรวมถึงคลาสสิกภาษาคลุมเครือโดยเนื้อแท้

L = {a^{ม.} ข^{ม.} ค^{n} d | ม., n \geq 0} \cup {d a^{ม.} ข^{n} ค^{n} | ม., n \geq 0},

$L=\{a^mb^mc^nd\mid m,n\geq 0\}\cup\{da^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

และหนึ่งสามารถพิสูจน์

นอกจากนี้ยังเป็นเนื้อแท้ที่ไม่ชัดเจนโดยอาร์กิวเมนต์ปกติ (ใช้อ็อกเดนแทรกทั้ง

และ

จะอนุมานการดำรงอยู่ของทั้งสอง ต้นไม้ที่แตกต่างกันสำหรับ

)

L^{'} = {a^{ม.} ข^{ม.} ค^{n} | ม., n \geq 0} \cup {a^{ม.} ข^{n} ค^{n} | ม., n \geq 0},

$L'=\{a^mb^mc^n\mid m,n\geq 0\}\cup\{a^mb^nc^n\mid m,n\geq 0\}\;,$

p p c (L)

$\mathit{ppc}(L)$

a^{n + n!} b^{n} c^{n}

$a^{n+n!}b^nc^n$

a^{n} b^{n} c^{n + n!}

$a^nb^nc^{n+n!}$

a^{n + n!} b^{n + n!} c^{n + n!}

$a^{n+n!}b^{n+n!}c^{n+n!}$

— ซิลแว็ง
แหล่งที่มา

ขอบคุณ. มันง่ายกว่าที่คิด คุณคิดว่าสายพันธุ์ของปัญหา (เช่นก่อนและหลังจะต้องคั่นด้วย (สัญลักษณ์ใหม่) แสดงการสูญเสียที่คล้ายกันของความกำกวมที่ไม่คล้ายกันหรือไม่

— มาร์ตินเบอร์เกอร์

{p p c}_{$} (L) = {w $ ∣ \exists w^{'}, w w^{'} \in L} \cup {$ w ∣ \exists w^{'}, w^{'} w \in L}

$\mathit{ppc}_\$(L)=\{w\$\mid\exists w',\,ww'\in L\}\cup\{\$w\mid\exists w',\,w'w\in L\}$

L = {d a^{m} b^{m} c^{n} ∣ m, n \geq 0} \cup {e a^{m} b^{n} c^{n} ∣ m, n \geq 0}

$L=\{da^mb^mc^n\mid m,n\geq 0\}\cup\{ea^mb^nc^n\mid m,n\geq 0\}$

$ a^{n + n!} b^{n + n!} c^{n + n!}

$\$a^{n+n!}b^{n+n!}c^{n+n!}$

{p p c}_{$} (L)

$\mathit{ppc}_\$(L)$

p p c

$\mathit{ppc}$

ใช่มันเป็นอย่างนั้น เนื่องจากสิ่งนี้ไม่ทำงานฉันจะต้องออกแบบโดเมนแอปพลิเคชันของฉันใหม่ ขอบคุณมากสำหรับข้อมูลของคุณ

— Martin Berger